tensorflow / deepmathLinks
Experiments towards neural network theorem proving
☆790Updated 4 years ago
Alternatives and similar repositories for deepmath
Users that are interested in deepmath are comparing it to the libraries listed below
Sorting:
- Bug-free machine learning on stochastic computation graphs☆396Updated 6 years ago
- Deep learning with dynamic computation graphs in TensorFlow☆1,823Updated 4 years ago
- A platform for developing AI systems as described in A Roadmap towards Machine Intelligence - http://arxiv.org/abs/1511.08130☆1,327Updated 5 years ago
- "Neural Turing Machine" in Tensorflow☆1,047Updated 8 years ago
- This is the code used for the paper "Inferring algorithmic patterns with a stack augmented recurrent network", by Armand Joulin and Tomas…☆419Updated 6 years ago
- A neural network trained to help writing neural network code using autocomplete☆1,161Updated 4 years ago
- Computation Graph Toolkit☆634Updated 7 years ago
- A TensorFlow implementation of DeepMind's Differential Neural Computers (DNC)☆579Updated 5 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆603Updated 5 years ago
- Bayesian Program Learning model for one-shot learning☆979Updated 9 years ago
- Annotated notes and summaries of the TensorFlow white paper, along with SVG figures and links to documentation☆433Updated 6 years ago
- Attempt at implementing system described in "Neural Turing Machines." by Graves, Alex, Greg Wayne, and Ivo Danihelka. (http://arxiv.org/a…☆461Updated 9 years ago
- Interactive, node-by-node debugging and visualization for TensorFlow☆1,352Updated 8 years ago
- Fast Recurrent Networks Library☆578Updated 9 years ago
- Tensorflow + Keras + OpenAI Gym implementation of 1-step Q Learning from "Asynchronous Methods for Deep Reinforcement Learning"☆1,009Updated 7 years ago
- An open source project to document AI progress through data.☆445Updated 5 years ago
- Connecting Torch to StarCraft☆1,391Updated 4 years ago
- A TensorFlow implementation of the Differentiable Neural Computer.☆2,517Updated 4 years ago
- A living collection of deep learning problems☆1,720Updated last year
- Pretty Tensor: Fluent Networks in TensorFlow☆1,230Updated 5 years ago
- µniverse: RL environments for HTML5 games☆366Updated 6 years ago
- Neural Turing Machines library in Theano with Lasagne☆301Updated 7 years ago
- Autograd automatically differentiates native Torch code☆559Updated 3 years ago
- Collection of papers☆470Updated 3 years ago
- Multi-GPU reinforcement learning using Deep Q-Network in TensorFlow for OpenAI Gym☆183Updated 9 years ago
- Question answering dataset featured in "Teaching Machines to Read and Comprehend☆1,296Updated 8 years ago
- Probabilistic programming for the web☆629Updated last year
- Task generation for testing text understanding and reasoning☆905Updated 6 years ago
- Paint artistic patterns using random neural network.☆532Updated 8 years ago
- NumPy interface with mixed backend execution☆1,103Updated 7 years ago