maxwells-daemons / caltech-cs11-tensorflowLinks
Repository for a TensorFlow class I taught at Caltech.
☆14Updated 6 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:
- ☆18Updated 5 years ago
- Dive into Jax, Flax, XLA and C++☆32Updated 5 years ago
- AI Physicist, a paradigm with algorithms for learning theories from data, by Wu and Tegmark (2019)☆34Updated 4 years ago
- Neural network verification in JAX☆144Updated 2 years ago
- A tool for proving and organizing general theorems using Python.☆31Updated last week
- Code for NeurIPS 2019 paper: "Tensor Programs I: Wide Feedforward or Recurrent Neural Networks of Any Architecture are Gaussian Processes…☆249Updated 5 years ago
- Code for the paper: "Tensor Programs II: Neural Tangent Kernel for Any Architecture"☆109Updated 5 years ago
- Canonical normalizing flows☆10Updated 6 years ago
- Hessian spectral density estimation in TF and Jax☆125Updated 5 years ago
- Regularization, Neural Network Training Dynamics☆14Updated 6 years ago
- Amortized Monte Carlo Integration☆15Updated 5 years ago
- A Pytorch implementation of an efficient unitary neural network (https://arxiv.org/abs/1612.05231)☆33Updated 5 years ago
- ☆11Updated 4 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- ☆22Updated 5 years ago
- Meta-learning inductive biases in the form of useful conserved quantities.☆39Updated 3 years ago
- ☆12Updated 5 years ago
- Documentation:☆127Updated 2 years ago
- ☆100Updated 4 years ago
- An interactive visualization of convex duality (Fenchel conjugate)☆20Updated 5 years ago
- Bayesian algorithm execution (BAX)☆55Updated 4 years ago
- Jax-based MaxEnt☆17Updated 6 years ago
- High dimensional black-box optimizer using Latent Action Monte Carlo Tree Search algorithm☆29Updated 3 years ago
- Application of the L2HMC algorithm to simulations in lattice QCD.☆68Updated 2 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 3 years ago
- Estimators for Information Theoretic Functionals using Influence Functions☆11Updated 9 years ago
- Exploration of metropolis-hastings (local) and Uli Wolff (cluster) algorithms on the Ising Model☆31Updated 7 years ago
- Systems for Data Science repo☆12Updated 8 years ago
- Understanding ML and deep learning through geometry☆156Updated 4 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