dselsam / certigrad
Bug-free machine learning on stochastic computation graphs
☆390Updated 6 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☆786Updated 4 years ago
- probabilistic programming for PL folks☆154Updated 3 years ago
- Myia prototyping☆456Updated last year
- A probabilistic programming language☆319Updated 3 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- A DSL for deep neural networks, supporting Caffe and Torch☆704Updated 9 years ago
- Exact Inference Engine for Probabilistic Programs☆132Updated last week
- Tensorlang, a differentiable programming language based on TensorFlow☆291Updated 7 years ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated 10 months ago
- The BLOG programming language☆98Updated 2 years ago
- The HOL Light theorem prover☆450Updated this week
- A Learning Environment for Theorem Proving with the Coq proof assistant☆395Updated last year
- 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 repository for generative models☆114Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆242Updated 10 years ago
- Fast Recurrent Networks Library☆578Updated 8 years ago
- This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …☆413Updated this week
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆973Updated this week
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 3 years ago
- Probabilistic programming for the web☆621Updated 10 months ago
- The mathematical study of type theories, in univalent foundations☆113Updated last month
- Perfectoid spaces in the Lean formal theorem prover.☆118Updated 8 months ago
- The collection synthesizer☆211Updated 4 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- The formal proof of the Kepler conjecture☆155Updated 10 months ago
- A simple Wolfram Language clone in Haskell☆243Updated 5 years ago
- Purely functional artificial neural network library implemented in Haskell.☆378Updated 8 years ago
- A blog post exploring a connection between neural networks and topology☆98Updated 6 years ago
- 💧 Liquid Tensor Experiment☆189Updated last year