Popular repositories Loading

1. VERRNN VERRNN Public

   Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis

   Python 3 1

2. maxrr maxrr Public

   Python 1

3. dreal3 dreal3 Public

   Forked from dreal/dreal3

   New implementation

   C

4. ds18_data ds18_data Public

5. bnn_tf_networks bnn_tf_networks Public

   Python

6. FedNova FedNova Public

   Forked from JYWa/FedNova

   PyTorch implementation of FedNova (NeurIPS 2020), and a class of federated learning algorithms, including FedAvg, FedProx.

   Python