probcomp / adevLinks
Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
☆65Updated last year
Alternatives and similar repositories for adev
Users that are interested in adev are comparing it to the libraries listed below
Sorting:
- Probabilistic programming system for fast and exact symbolic inference☆80Updated 11 months ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 7 months ago
- Building dynamical systems compositionally☆71Updated 8 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆24Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- ☆26Updated 3 years ago
- Inference Combinators in JAX☆50Updated last month
- Use numba-compiled kernels from within Jax☆29Updated last month
- Exponential families for JAX☆71Updated this week
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- ☆49Updated 3 years ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated 11 months ago
- Convex optimization modeling in Lean 4☆47Updated last year
- ☆91Updated last year
- Build Petri net models compositionally☆85Updated 8 months ago
- Formalizing stochastic doubly-efficient debate☆107Updated 8 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last week
- Logic Circuits from the Juice library☆48Updated last year
- ☆67Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆30Updated last month
- ☆19Updated last month
- A scalable abstraction learning library☆80Updated this week
- Probabilistic Circuits from the Juice library☆106Updated last year
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Compiler with automatic differentiation☆48Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- ☆69Updated 2 months ago
- a categorical deep learning compiler☆202Updated 4 months ago