Zero-suppressed Sentential Decision Diagrams
☆12Aug 23, 2021Updated 4 years ago
Alternatives and similar repositories for zsdd
Users that are interested in zsdd are comparing it to the libraries listed below
Sorting:
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- Repository of PIXAR, a Pixel-based Auto-Regressive Language Model☆17Sep 15, 2025Updated 5 months ago
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆16Jun 7, 2023Updated 2 years ago
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16May 12, 2018Updated 7 years ago
- Sparse Circuits on the GPU (ICLR2025)☆21Dec 25, 2025Updated 2 months ago
- ☆19May 23, 2025Updated 9 months ago
- ☆19Jan 17, 2023Updated 3 years ago
- The Python PSDD Package☆19Jul 20, 2025Updated 7 months ago
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 6 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆23Mar 4, 2024Updated 2 years ago
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated last month
- A collection of commonly used datasets as benchmarks for density estimation☆24Dec 16, 2019Updated 6 years ago
- CausalFlows: A library for Causal Normalizing Flows in Pytorch☆30Apr 30, 2025Updated 10 months ago
- Squared Non-monotonic Probabilistic Circuits☆25Jan 16, 2025Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆32Dec 4, 2023Updated 2 years ago
- Library for learning and inference with Sum-product Networks☆23Feb 20, 2020Updated 6 years ago
- Generative Forests in Python☆35Jul 6, 2023Updated 2 years ago
- Code for UAI'19: Random Sum-Product Networks: A Simple and Effective Approach to Probabilistic Deep Learning☆37Jun 7, 2020Updated 5 years ago
- Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.☆11Feb 3, 2025Updated last year
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- PG scripts☆11Feb 7, 2017Updated 9 years ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow☆11Nov 27, 2019Updated 6 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Oct 4, 2019Updated 6 years ago
- 中文假字生成器 - 隨機生成看似中文文章的假字。☆15Mar 11, 2020Updated 5 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last month