Reasoning over weighted algebraic and logical constraints
☆26Apr 30, 2026Updated 5 months ago
Alternatives and similar repositories for wmpy
Users that are interested in wmpy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jan 17, 2023Updated 3 years ago
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- ☆18May 12, 2025Updated last year
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆26Jun 28, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆145Sep 24, 2026Updated 2 weeks ago
- Repository associated to the paper: "Explaining the Explainers in Graph Neural Networks: a Comparative Study"☆38Oct 4, 2023Updated 3 years ago
- Official repository of GLGExplainer (ICLR2023)☆21Jun 7, 2024Updated 2 years ago
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆15Jun 7, 2023Updated 3 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- Integrals of Gaussians under linear domain constraints☆15Feb 27, 2020Updated 6 years ago
- A collection of commonly used datasets as benchmarks for density estimation☆23Dec 16, 2019Updated 6 years ago
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆17Oct 11, 2021Updated 5 years ago
- ☆13May 17, 2021Updated 5 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Repository of PIXAR, a Pixel-based Auto-Regressive Language Model☆20Sep 15, 2025Updated last year
- Python library for declarative, constrained, structured-output prediction.☆21Oct 16, 2023Updated 2 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆62May 1, 2026Updated 5 months ago
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16May 12, 2018Updated 8 years ago
- d4 Model Counter☆22May 17, 2023Updated 3 years ago
- SATZilla SAT feature extraction tool☆15Mar 23, 2026Updated 6 months ago
- Squared Non-monotonic Probabilistic Circuits☆25Jan 16, 2025Updated last year
- It is a comprehensive resource hub compiling all graph papers accepted at the International Conference on Learning Representations (ICLR)…☆47Feb 22, 2025Updated last year
- CAIPI turns LIMEs into trust!☆12May 30, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Beyond the Selected Completely At Random Assumption for Learning from Positive and Unlabeled Data☆38Jun 25, 2024Updated 2 years ago
- Sum-product networks in Julia.☆36Dec 13, 2022Updated 3 years ago
- Redundancy Undermines the Trustworthiness of Self-Interpretable GNNs, International Conference on Machine Learning (ICML), 2025☆15Jun 23, 2025Updated last year
- Egocentric Temporal Motifs Miner☆13Nov 9, 2021Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆16Sep 12, 2026Updated last month
- The source code repository for the FactorBase system☆11Mar 17, 2024Updated 2 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Informative error messages for common beginner misunderstandings with Haskell☆15Aug 29, 2019Updated 7 years ago
- List of papers on robust Bayesian optimization☆17Dec 2, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 7 years ago
- Logic Circuits from the Juice library☆52Jun 15, 2024Updated 2 years ago
- Logic Programming in Python☆31Sep 28, 2021Updated 5 years ago
- Implementation of Sum-Product Attend-Infer-Repeat☆31May 21, 2020Updated 6 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Multi-directional Ensembles of Regression and Classification treeS.☆15Jul 1, 2022Updated 4 years ago
- Sum-Product Network learning routines in python☆27Jun 10, 2015Updated 11 years ago