probcomp / adev
Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
☆64Updated last year
Alternatives and similar repositories for adev:
Users that are interested in adev are comparing it to the libraries listed below
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 8 months ago
- Building dynamical systems compositionally☆69Updated 5 months ago
- Probabilistic programming with programmable variational inference.☆20Updated 9 months ago
- Differentiable probabilistic answer set programming☆18Updated 4 months ago
- Evaluation Framework for Probabilistic Programming Languages☆100Updated last year
- Probabilistic Circuits from the Juice library☆106Updated 9 months ago
- Build Petri net models compositionally☆82Updated 5 months ago
- ☆49Updated 2 years ago
- Exponential families for JAX☆63Updated this week
- Inference Combinators in JAX☆47Updated 5 months ago
- Logic Circuits from the Juice library☆48Updated 9 months ago
- An interactive theorem prover for string diagrams☆112Updated 5 months ago
- ☆69Updated 2 months ago
- A probabilistic programming system for simulators and high-performance computing (HPC), based on PyTorch☆27Updated 4 years ago
- A scalable abstraction learning library☆77Updated last year
- Multiple dispatch over abstract array types in JAX.☆115Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated 2 weeks ago
- Library for causal and probabilistic inference in Julia☆11Updated last month
- Tools for an Aesara-based PPL.☆65Updated 5 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆24Updated 4 months ago
- Automated Bayesian model discovery for time series data☆71Updated 3 weeks ago
- Theory and Applications of Lenses and Optics☆54Updated 2 years ago
- Turning SymPy expressions into JAX functions☆44Updated 4 years ago
- Stencil computations in JAX☆70Updated last year
- Rust bindings to GAP (Groups, Algorithms, Programming)☆22Updated last year
- ☆20Updated 5 months ago
- Bayesian algorithm execution (BAX)☆49Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆144Updated 5 months ago
- Causal, Higher-Order, Probabilistic Programming☆168Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year