pip install antialiased-cnns to improve stability and accuracy
A Learning Environment for Theorem Proving with the Coq proof assistant
Repository has been moved: https://github.com/adobe/antialiased-cnns
Code for ICML 2019 paper "Probabilistic Neural-symbolic Models for Inter...
[ICML 2019] ME-Net: Towards Effective Adversarial Robustness with Matrix...