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
- Building dynamical systems compositionally☆67Updated 2 months ago
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- ☆46Updated last month
- Build Petri net models compositionally☆79Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- A framework for composing and simulating multiphysics systems☆55Updated this week
- ☆29Updated 10 months ago
- Compiler with automatic differentiation☆45Updated last year
- ☆86Updated last year
- Bayesian inference on wiring diagrams.☆18Updated last year
- A graphical editor for graph-like structures☆97Updated last year
- Probabilistic Circuits from the Juice library☆103Updated 7 months ago
- ☆68Updated 2 months ago
- Logic Circuits from the Juice library☆48Updated 7 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated last month
- Differentiable probabilistic answer set programming☆18Updated 2 months ago
- ☆49Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆98Updated 3 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆82Updated last year
- ☆12Updated last year
- Template for blueprint-driven formalization projects in Lean.☆36Updated this week
- ☆24Updated 2 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- Automated Bayesian model discovery for time series data☆66Updated this week
- Scruff.jl☆34Updated 2 months ago
- Julia interface to Z3☆59Updated last month
- Causal, Higher-Order, Probabilistic Programming☆164Updated last year
- a categorical deep learning compiler☆114Updated 8 months ago