Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
icml-2019 machine-learning theorem-proving
Last synced: 27 Jun 2024
![](https://github.com/princeton-vl.png)
https://github.com/richzhang/antialiased-cnns
Repository has been moved: https://github.com/adobe/antialiased-cnns
convolutional-networks convolutional-neural-networks deep-learning icml-2019 shift-equivariant shift-invariant
Last synced: 22 Apr 2024
![](https://github.com/richzhang.png)
https://github.com/adobe/antialiased-cnns
pip install antialiased-cnns to improve stability and accuracy
antialiasing artificial-intelligence cnns computer-vision convolutional-neural-networks icml icml-2019 shift-equivariant shift-invariant
Last synced: 11 Apr 2024
![](https://github.com/adobe.png)
https://github.com/rctzeng/ICML19-EgoCNN
Code for "Distributed, Egocentric Representations of Graphs for Detecting Critical Structures" (ICML 2019)
convolutional-neural-networks graph-convolutional-neural-networks graph-embeddings graph-networks graph-neural-networks icml icml-2019 interpretability scale-free-networks self-similarity
Last synced: 22 Mar 2024
![](https://github.com/rctzeng.png)