maxwells-daemons / caltech-cs11-tensorflowLinks
Repository for a TensorFlow class I taught at Caltech.
☆14Updated 5 years ago
Alternatives and similar repositories for caltech-cs11-tensorflow
Users that are interested in caltech-cs11-tensorflow are comparing it to the libraries listed below
Sorting:
- Dive into Jax, Flax, XLA and C++☆32Updated 5 years ago
- Canonical normalizing flows☆10Updated 6 years ago
- 👑 Pytorch code for the Nero optimiser.☆20Updated 3 years ago
- ☆18Updated 5 years ago
- The Mixing method: coordinate descent for low-rank semidefinite programming☆15Updated 4 years ago
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Neural network verification in JAX☆145Updated 2 years ago
- Assignments of CSCE-642: Deep Reinforcement Learning offered at Texas A&M University.☆10Updated 3 months ago
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 4 years ago
- Amortized Monte Carlo Integration☆15Updated 5 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- ☆28Updated 7 years ago
- A tool for proving and organizing general theorems using Python.☆30Updated this week
- Numerically Solving Parametric Families of High-Dimensional Kolmogorov Partial Differential Equations via Deep Learning (NeurIPS 2020)☆22Updated 3 years ago
- ☆23Updated 3 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆38Updated 3 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆66Updated 2 years ago
- Compiler with automatic differentiation☆49Updated 2 years ago
- AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)☆34Updated 4 years ago
- ☆53Updated 3 years ago
- Learn to build neural networks from scratch, simply. No autograd, no deep learning libraries - just numpy.☆11Updated 3 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago
- Documentation:☆125Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Interpretability dashboard for reinforcement learners☆16Updated 6 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- Pytorch source code for arXiv paper Neural Network Renormalization Group, a generative model using variational renormalization group and …☆79Updated 6 years ago
- ☆152Updated 3 years ago