probsys / sppl
Probabilistic programming system for fast and exact symbolic inference
☆76Updated 2 months ago
Related projects: ⓘ
- Logic Circuits from the Juice library☆49Updated 3 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆76Updated 11 months ago
- Probabilistic Circuits from the Juice library☆105Updated 3 months ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆47Updated 7 months ago
- Implementation of Bayesian Sum-Product Networks☆12Updated 4 years ago
- Automated Bayesian model discovery for time series data☆60Updated 8 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Inference Combinators in JAX☆42Updated 2 months ago
- ☆15Updated 5 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 2 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 8 months ago
- Classic papers from Edwin T. Jaynes converted to latex.☆32Updated 2 years ago
- Compiler with automatic differentiation☆45Updated 11 months ago
- Sum-product networks in Julia.☆38Updated last year
- Probabilistic Circuits in Julia☆10Updated 8 months ago
- Prototypes of differentiable differential equation solvers in JAX.☆27Updated 4 years ago
- Causal, Higher-Order, Probabilistic Programming☆162Updated last year
- Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"☆12Updated 4 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- Exponential families for JAX☆54Updated last week
- Building dynamical systems compositionally☆65Updated last week
- ☆15Updated this week
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- "Discontinuous Hamiltonian Monte Carlo for sampling discrete parameters" by Akihiko Nishimura, David Dunson, Jianfeng Lu☆26Updated 6 years ago
- Probabilistic Programming eXecution protocol (PPX)☆74Updated 2 years ago
- Turning SymPy expressions into JAX functions☆42Updated 3 years ago
- Bayesian inference for a logistic regression model in various languages☆43Updated last year
- Modelling epidemiological dynamics and performing inference in these models☆27Updated 3 years ago
- Loopy belief propagation for factor graphs on discrete variables, in JAX!☆62Updated 2 months ago