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/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