Tractables / LogicCircuits.jl
Logic Circuits from the Juice library
☆48Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for LogicCircuits.jl
- Probabilistic Circuits from the Juice library☆104Updated 4 months ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Updated 2 years ago
- Sum-product networks in Julia.☆37Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- Automatic differentiation of Distributions using Tracker, Zygote, ForwardDiff and ReverseDiff☆150Updated this week
- Causal, Higher-Order, Probabilistic Programming☆164Updated last year
- Probabilistic Circuits in Julia☆9Updated 10 months ago
- Implementation of Bayesian Sum-Product Networks☆12Updated 4 years ago
- A little less conversation, a little more abstraction☆87Updated 2 years ago
- A Petri net modeling framework for the Julia programming language☆40Updated 11 months ago
- Julia interface to Z3☆57Updated last month
- Build Petri net models compositionally☆76Updated 2 weeks ago
- Gym environments in Julia☆54Updated 4 years ago
- Reachability analysis for closed-loop control systems in Julia☆44Updated 3 weeks ago
- Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.☆80Updated 2 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 4 months ago
- Concise and friendly interfaces for defining MDP and POMDP models for use with POMDPs.jl solvers☆29Updated 3 months ago
- Piecewise Deterministic Sampler library (Bouncy particle sampler, Zig Zag sampler, ...)☆33Updated 3 years ago
- Functions for declaring and working with grammars and expression trees in Julia.☆24Updated 8 months ago
- An experimental implementation of sum-product networks with dense unitary transformations in leaves☆13Updated 2 years ago
- "Maybe we have our own magic."☆47Updated 4 years ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆15Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Building dynamical systems compositionally☆66Updated 2 weeks ago
- Automatically convert Julia methods to Gen functions.☆46Updated 3 years ago
- Sleek implementations of the ZigZag, Boomerang and other assorted piecewise deterministic Markov processes for Markov Chain Monte Carlo i…☆101Updated 2 years ago
- Provides likelihood functions for Gaussian Processes.☆42Updated 3 months ago
- A domain specific language (DSL) for probabilistic graphical models☆22Updated this week
- Featherweight embedded probabilistic programming language and compositional inference programming library☆17Updated 4 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆48Updated 9 months ago