probcomp / adev
Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
☆64Updated last year
Related projects ⓘ
Alternatives and complementary repositories for adev
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- Logic Circuits from the Juice library☆48Updated 5 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- A framework for composing and simulating multiphysics systems☆50Updated this week
- ☆38Updated last month
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- Probabilistic Circuits from the Juice library☆104Updated 5 months ago
- Formalizing stochastic doubly-efficient debate☆92Updated last month
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 3 weeks ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- ☆85Updated last year
- Inference Combinators in JAX☆45Updated 3 weeks ago
- ☆23Updated 2 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- Building dynamical systems compositionally☆66Updated 3 weeks ago
- Compiler with automatic differentiation☆45Updated last year
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Differentiable probabilistic answer set programming☆18Updated last week
- ☆49Updated 2 years ago
- Automated Bayesian model discovery for time series data☆64Updated 2 weeks ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Tools for an Aesara-based PPL.☆65Updated 3 weeks ago
- AeMCMC is a Python library that automates the construction of samplers for Aesara graphs representing statistical models.☆40Updated last year
- Categorica: a pure and applied category theory framework for the Wolfram Language☆27Updated 7 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 2 years ago
- An interactive theorem prover for string diagrams☆108Updated 3 weeks ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆23Updated 2 weeks ago
- Formalizing results about the Mandelbrot set in Lean☆20Updated last week
- Build Petri net models compositionally☆76Updated 3 weeks ago