tensorflow / deepmath
Experiments towards neural network theorem proving
☆789Updated 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,822Updated 3 years ago
- Computation Graph Toolkit☆634Updated 6 years ago
- This is the code used for the paper "Inferring algorithmic patterns with a stack augmented recurrent network", by Armand Joulin and Tomas…☆418Updated 5 years ago
- Bug-free machine learning on stochastic computation graphs☆389Updated 5 years ago
- A TensorFlow implementation of DeepMind's Differential Neural Computers (DNC)☆580Updated 5 years ago
- Interactive, node-by-node debugging and visualization for TensorFlow☆1,354Updated 8 years ago
- Autograd automatically differentiates native Torch code☆559Updated 3 years ago
- NumPy interface with mixed backend execution☆1,107Updated 6 years ago
- Fast Recurrent Networks Library☆580Updated 8 years ago
- A TensorFlow implementation of the Differentiable Neural Computer.☆2,505Updated 3 years ago
- A domain specific language to express machine learning workloads.☆1,758Updated last year
- "Neural Turing Machine" in Tensorflow☆1,048Updated 7 years ago
- A platform for developing AI systems as described in A Roadmap towards Machine Intelligence - http://arxiv.org/abs/1511.08130☆1,326Updated 4 years ago
- Tensorflow + Keras + OpenAI Gym implementation of 1-step Q Learning from "Asynchronous Methods for Deep Reinforcement Learning"☆1,014Updated 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 8 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆601Updated 4 years ago
- Lattice methods in TensorFlow☆520Updated 6 months ago
- Pretty Tensor: Fluent Networks in TensorFlow☆1,233Updated 4 years ago
- ☆1,656Updated 6 years ago
- A DSL for deep neural networks, supporting Caffe and Torch☆703Updated 9 years ago
- Theano implementation of Tree RNNs aka Recursive Neural Networks.☆235Updated 8 years ago
- Question answering dataset featured in "Teaching Machines to Read and Comprehend☆1,293Updated 7 years ago
- THE Deep Learning Benchmarks☆351Updated 8 years ago
- Python wrappers for torch and lua☆433Updated 7 years ago
- Neural Turing Machines library in Theano with Lasagne☆300Updated 6 years ago
- Tensorflow tutorial of building different dynamic recurrent neural network☆500Updated 6 years ago
- Torch-twrl is a package that enables reinforcement learning in Torch.☆250Updated 7 years ago
- Annotated notes and summaries of the TensorFlow white paper, along with SVG figures and links to documentation☆438Updated 6 years ago
- A data pipeline framework for machine learning☆870Updated 2 years ago
- Probabilistic programming for the web☆623Updated 9 months ago