edin-dal / structtensor
☆20Updated 5 months ago
Alternatives and similar repositories for structtensor:
Users that are interested in structtensor are comparing it to the libraries listed below
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- Compiler with automatic differentiation☆46Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last month
- Logic Circuits from the Juice library☆48Updated 10 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated last year
- Probabilistic Circuits from the Juice library☆106Updated 10 months ago
- ☆20Updated this week
- ☆17Updated 2 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 7 years ago
- Differentiable probabilistic answer set programming☆20Updated 5 months ago
- Probabilistic Circuits in Julia☆10Updated last year
- ☆19Updated 2 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆49Updated last year
- Structured decompositions!☆13Updated 3 weeks ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- ☆21Updated 2 years ago
- Flexible and performant GEMM kernels in Julia☆81Updated 5 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Implementation of Bayesian Sum-Product Networks☆13Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆56Updated 2 months ago
- Probabilistic programming with programmable variational inference.☆20Updated 10 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆29Updated 4 months ago
- Bayesian inference on wiring diagrams.☆18Updated last year
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- ☆62Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Updated 2 years ago
- Call Julia code from Prolog☆27Updated 2 years ago