dselsam / certigrad
Bug-free machine learning on stochastic computation graphs
☆389Updated 5 years ago
Alternatives and similar repositories for certigrad:
Users that are interested in certigrad are comparing it to the libraries listed below
- Experiments towards neural network theorem proving☆789Updated 4 years ago
- probabilistic programming for PL folks☆154Updated 3 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 9 months ago
- The simple essence of automatic differentiation☆198Updated 4 years ago
- A repository for generative models☆114Updated last year
- A DSL for deep neural networks, supporting Caffe and Torch☆703Updated 9 years ago
- Myia prototyping☆456Updated last year
- Exact Inference Engine for Probabilistic Programs☆131Updated 5 months ago
- Theano implementation of Tree RNNs aka Recursive Neural Networks.☆235Updated 8 years ago
- Fast Recurrent Networks Library☆580Updated 8 years ago
- A probabilistic programming language☆319Updated 2 years ago
- Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++☆150Updated 5 years ago
- Computation Graph Toolkit☆633Updated 6 years ago
- Tensorlang, a differentiable programming language based on TensorFlow☆291Updated 7 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆392Updated last year
- 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
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Reference implementations of neural networks with differentiable memory mechanisms (NTM, Stack RNN, etc.)☆219Updated 8 years ago
- Probabilistic programming for the web☆623Updated 9 months ago
- Annotated notes and summaries of the TensorFlow white paper, along with SVG figures and links to documentation☆438Updated 6 years ago
- The online textbook Probabilistic Models of Cognition☆164Updated 7 years ago
- A Programming Language for Deep Learning☆464Updated 6 years ago
- Autograd automatically differentiates native Torch code☆559Updated 3 years ago
- Machine Learning on Sequential Data Using a Recurrent Weighted Average☆601Updated 4 years ago
- The Operator Vectorization Library, or OVL, is a python productivity library for defining high performance custom operators for the Tenso…☆68Updated 8 years ago
- A blog post exploring a connection between neural networks and topology☆98Updated 6 years ago
- The BLOG programming language☆98Updated 2 years ago
- Links to ICML 2015 papers available on arxiv☆140Updated 9 years ago
- GitXiv - Collaborative Open Computer Science.☆267Updated 7 years ago
- Write PyTorch code at the level of individual examples, then run it efficiently on minibatches.☆483Updated 3 years ago