Reasoning over weighted algebraic and logical constraints
☆26Apr 30, 2026Updated last month
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:
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆24Mar 4, 2024Updated 2 years ago
- Repository of PIXAR, a Pixel-based Auto-Regressive Language Model☆20Sep 15, 2025Updated 8 months ago
- Integrals of Gaussians under linear domain constraints☆15Feb 27, 2020Updated 6 years ago
- ☆15May 12, 2025Updated last year
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13May 17, 2021Updated 5 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Python library for declarative, constrained, structured-output prediction.☆21Oct 16, 2023Updated 2 years ago
- Highly Optimized Polytope Sampling☆13Mar 10, 2026Updated 3 months ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆61May 1, 2026Updated last month
- Squared Non-monotonic Probabilistic Circuits☆25Jan 16, 2025Updated last year
- ☆11Jul 6, 2023Updated 2 years ago
- The source code repository for the FactorBase system☆11Mar 17, 2024Updated 2 years ago
- Sum-product networks in Julia.☆37Dec 13, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- (DEPRECATED, migrated to main repo - hasktorch/hasktorch) Research code generation / FFI binding using libtorch 1.x for the next Hasktor…☆11Sep 13, 2019Updated 6 years ago
- Logic Circuits from the Juice library☆50Jun 15, 2024Updated last year
- Implementation of Sum-Product Attend-Infer-Repeat☆31May 21, 2020Updated 6 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- ☆20Jan 20, 2026Updated 4 months ago
- Sum-Product Network learning routines in python☆27Jun 10, 2015Updated 11 years ago
- ☆53Aug 22, 2023Updated 2 years ago
- Obsolete☆14Mar 7, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Per creare i libretti della Messa del Matrimonio con LaTeX - Catholic wedding Mass booklets with laTeX.☆14Aug 3, 2023Updated 2 years ago
- Tensorflow implementation and notebooks for Implicit Maximum Likelihood Estimation☆68Apr 1, 2022Updated 4 years ago
- Generative Forests in Python☆35Jul 6, 2023Updated 2 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆18May 13, 2026Updated last month
- Very Simple and Basic Implementation of Compositional Pattern Producing Network in TensorFlow☆11Nov 27, 2019Updated 6 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated last year
- Code for the ICLR 2024 paper "How Realistic Is Your Synthetic Data? Constraining Deep Generative Models for Tabular Data"☆21Apr 15, 2025Updated last year
- GHC plugin to make stream fusion more predictable☆18Apr 14, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 8 years ago
- How to Turn Your Knowledge Graph Embeddings into Generative Models☆55Apr 3, 2026Updated 2 months ago
- Hybrid (non)-Gaussian solver for Distributed Factor Graphs, with clique recycling; and is officially supported as part of the NavAbility(…☆77Updated this week
- A TensorFlow Label Propagation library☆13Apr 7, 2018Updated 8 years ago
- A PyTorch implementation of visual interaction networks☆12Jul 1, 2019Updated 6 years ago
- ☆15Jan 15, 2019Updated 7 years ago
- An interactive tool for analyzing, executing, and improving dynamic programming algorithms.☆22Updated this week