probsys / optimal-approximate-sampling
Optimal approximate sampling from discrete probability distributions
☆17Updated 3 years ago
Related projects: ⓘ
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆12Updated 4 years ago
- Code for "Efficient optimization of loops and limits with randomized telescoping sums"☆27Updated 5 years ago
- Prototypes of differentiable differential equation solvers in JAX.☆27Updated 4 years ago
- MCMC for the Dark Energy Spectroscopic Instrument☆13Updated 8 years ago
- Implementation of Bayesian Sum-Product Networks☆12Updated 4 years ago
- Scalable Log Determinants for Gaussian Process Kernel Learning (https://arxiv.org/abs/1711.03481) (NIPS 2017)☆18Updated 6 years ago
- The differentiable OSQP solver layer for PyTorch☆57Updated last year
- Optimally-weighted herding is Bayesian Quadrature☆16Updated 8 years ago
- Neural Fixed-Point Acceleration for Convex Optimization☆29Updated last year
- Code for "Learning Inductive Biases with Simple Neural Networks" (Feinman & Lake, 2018).☆21Updated 5 years ago
- This repository houses the code for the community website http://www.probabilistic-numerics.org☆35Updated 4 years ago
- Primal-Dual Operator Splitting Method for Conic Optimization☆20Updated 9 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- ☆17Updated this week
- Python interface to the QDLDL(https://github.com/osqp/qdldl) free LDL factorization routine for quasi-definite linear systems☆12Updated this week
- ☆15Updated 5 years ago
- Automatic Differentiation for OpenCL.☆21Updated 9 years ago
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆26Updated 6 years ago
- Inference on non-linear dynamical systems written in JAX☆12Updated 4 years ago
- tokenizer and parser for circle projects☆11Updated 5 years ago
- ☆34Updated 7 years ago
- ☆12Updated 3 years ago
- Trust Region Subproblem Solver Library☆19Updated last month
- Solving LPs with convergent message passing☆63Updated last year
- Logistic Circuits☆35Updated 5 years ago
- Langevin Incremental Mixture Importance Sampling☆8Updated 7 years ago
- Legendre decomposition for tensors☆12Updated 5 years ago
- Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint …☆15Updated last year