probcomp / adev
Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
☆64Updated 9 months ago
Related projects: ⓘ
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 2 months ago
- ☆25Updated 2 weeks ago
- a categorical deep learning compiler☆104Updated 4 months ago
- Formalizing stochastic doubly-efficient debate☆88Updated last month
- Theory and Applications of Lenses and Optics☆50Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆25Updated last month
- A framework for composing and simulating multiphysics systems☆47Updated 2 weeks ago
- Automated Bayesian model discovery for time series data☆60Updated 8 months ago
- ☆48Updated 2 years ago
- Compiler with automatic differentiation☆45Updated 11 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆25Updated 5 months ago
- Building dynamical systems compositionally☆65Updated last week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆25Updated last week
- ☆63Updated 3 weeks ago
- ☆23Updated 2 years ago
- Probabilistic Circuits from the Juice library☆105Updated 3 months ago
- An interactive theorem prover for string diagrams☆105Updated 7 months ago
- Build Petri net models compositionally☆72Updated 2 months ago
- Rust bindings to GAP (Groups, Algorithms, Programming)☆16Updated last year
- Logic Circuits from the Juice library☆49Updated 3 months ago
- Bayesian inference on wiring diagrams.☆18Updated 11 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆12Updated this week
- A domain-specific probabilistic programming language for modeling and inference with language models☆111Updated 11 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆53Updated last month
- Convex optimization modeling in Lean 4☆37Updated 3 months ago
- Loopy belief propagation for factor graphs on discrete variables in JAX☆124Updated 3 months ago
- ☆82Updated 10 months ago
- An environment for learning formal mathematical reasoning from scratch☆48Updated last month
- ☆25Updated 6 months ago
- Python bindings for the egg-smol rust library☆62Updated last week