tensorflow / deepmath
Experiments towards neural network theorem proving
☆785Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for deepmath
- Deep learning with dynamic computation graphs in TensorFlow☆1,827Updated 3 years ago
- "Neural Turing Machine" in Tensorflow☆1,050Updated 7 years ago
- Bug-free machine learning on stochastic computation graphs☆387Updated 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…☆419Updated 5 years ago
- A TensorFlow implementation of DeepMind's Differential Neural Computers (DNC)☆581Updated 4 years ago
- A TensorFlow implementation of the Differentiable Neural Computer.☆2,501Updated 3 years ago
- A platform for developing AI systems as described in A Roadmap towards Machine Intelligence - http://arxiv.org/abs/1511.08130☆1,328Updated 4 years ago
- Computation Graph Toolkit☆630Updated 6 years ago
- An open source project to document AI progress through data.☆442Updated 4 years ago
- Fast Recurrent Networks Library☆576Updated 8 years ago
- Interactive, node-by-node debugging and visualization for TensorFlow☆1,356Updated 7 years ago
- Tensorflow + Keras + OpenAI Gym implementation of 1-step Q Learning from "Asynchronous Methods for Deep Reinforcement Learning"☆1,013Updated 6 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆602Updated 4 years ago
- Bayesian Program Learning model for one-shot learning☆973Updated 8 years ago
- Question answering dataset featured in "Teaching Machines to Read and Comprehend☆1,293Updated 7 years ago
- Annotated notes and summaries of the TensorFlow white paper, along with SVG figures and links to documentation☆439Updated 5 years ago
- NumPy interface with mixed backend execution☆1,109Updated 6 years ago
- Autograd automatically differentiates native Torch code☆560Updated 3 years ago
- A deep Q learning demonstration using Google Tensorflow☆1,172Updated 7 years ago
- Learning to Execute☆480Updated 8 years ago
- A data pipeline framework for machine learning☆868Updated last year
- Pretty Tensor: Fluent Networks in TensorFlow☆1,237Updated 4 years ago
- Attempt at implementing system described in "Neural Turing Machines." by Graves, Alex, Greg Wayne, and Ivo Danihelka. (http://arxiv.org/a…☆465Updated 8 years ago
- Efficient Batched Reinforcement Learning in TensorFlow☆968Updated 5 years ago
- Theano implementation of Tree RNNs aka Recursive Neural Networks.☆236Updated 8 years ago
- Multi-GPU reinforcement learning using Deep Q-Network in TensorFlow for OpenAI Gym☆182Updated 8 years ago
- A Theano framework for building and training neural networks☆1,157Updated 5 years ago
- ☆664Updated 6 years ago
- Recurrent Neural Network library for Torch7's nn☆941Updated 6 years ago