6 results found Sort:
- Filter by Primary Language:
- Python (3)
- Coq (1)
- Jupyter Notebook (1)
- +
pip install antialiased-cnns to improve stability and accuracy
Created
2019-05-14
239 commits to master branch, last one 3 years ago
A Learning Environment for Theorem Proving with the Coq proof assistant
Created
2019-05-24
58 commits to master branch, last one about a year ago
Repository has been moved: https://github.com/adobe/antialiased-cnns
Created
2019-04-25
12 commits to master branch, last one 5 years ago
This repository has no description...
Created
2019-01-26
20 commits to master branch, last one 2 years ago
Code for ICML 2019 paper "Probabilistic Neural-symbolic Models for Interpretable Visual Question Answering" [long-oral]
Created
2019-05-14
121 commits to master branch, last one 4 years ago
[ICML 2019] ME-Net: Towards Effective Adversarial Robustness with Matrix Estimation
Created
2019-04-22
30 commits to master branch, last one 4 years ago