Geek Repo
followers
following
stars
Github PK Tool:Github PK Tool
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis
New implementation
PyTorch implementation of FedNova (NeurIPS 2020), and a class of federated learning algorithms, including FedAvg, FedProx.