tensorflow / deepmath
Experiments towards neural network theorem proving
☆787Updated 4 years ago
Alternatives and similar repositories for deepmath:
Users that are interested in deepmath are comparing it to the libraries listed below
- Deep learning with dynamic computation graphs in TensorFlow☆1,825Updated 3 years ago
- Bug-free machine learning on stochastic computation graphs☆395Updated 6 years ago
- "Neural Turing Machine" in Tensorflow☆1,045Updated 7 years ago
- A platform for developing AI systems as described in A Roadmap towards Machine Intelligence - http://arxiv.org/abs/1511.08130☆1,327Updated 4 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆602Updated 5 years ago
- This is the code used for the paper "Inferring algorithmic patterns with a stack augmented recurrent network", by Armand Joulin and Tomas…