Official repository for "Logically Consistent Language Models via Neuro-Symbolic Integration", accepted at ICLR 2025.
☆12Mar 11, 2025Updated last year
Alternatives and similar repositories for loco-llm
Users that are interested in loco-llm 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
- DeepLog: the PyTorch for neurosymbolic AI☆25Oct 6, 2026Updated 3 weeks ago
- PyPSDD porting to Python 3 + PyTorch equivalent tree construction.☆15Jun 7, 2023Updated 3 years ago
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆33Dec 4, 2023Updated 2 years ago
- Reasoning over weighted algebraic and logical constraints☆26Apr 30, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆26Jan 27, 2025Updated last year
- CAIPI turns LIMEs into trust!☆12May 30, 2020Updated 6 years ago
- A Proximal One-step Geometric Orthoptimizer Pytorch library☆17Jul 23, 2026Updated 3 months ago
- First-order knowledge compilation for lifted probabilistic inference☆11Jun 14, 2017Updated 9 years ago
- Code in support of the paper Continuous Mixtures of Tractable Probabilistic Models☆12Oct 12, 2024Updated 2 years ago
- Is Comples Query Answering Complex?☆14Oct 12, 2026Updated 2 weeks ago
- Zero-suppressed Sentential Decision Diagrams☆12Aug 23, 2021Updated 5 years ago
- Sum-of-squares Non-monotonic Probabilistic Circuits☆12Jan 16, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Official codebase for the "A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts" benchmark paper.☆12Updated this week
- Codes and Data for ICLR 2026 paper "LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision"☆25Jul 16, 2026Updated 3 months ago
- Updated code base for GlanceNets: Interpretable, Leak-proof Concept-based models☆26Jun 28, 2023Updated 3 years ago
- Mixed Sum-Product Networks: A Deep Architecture for Hybrid Domains☆16May 12, 2018Updated 8 years ago
- We integrate discrete diffusion models with neurosymbolic predictors for scalable and calibrated learning and reasoning☆63May 1, 2026Updated 5 months ago
- Repository of PIXAR, a Pixel-based Auto-Regressive Language Model☆20Sep 15, 2025Updated last year
- A collection of commonly used datasets as benchmarks for density estimation in MaLe☆20Jul 15, 2019Updated 7 years ago
- Code and Data for ACL 2025 Paper "Aristotle: Mastering Logical Reasoning with A Logic-Complete Decompose-Search-Resolve Framework".☆31Oct 3, 2025Updated last year
- ☆18Jan 17, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18May 23, 2025Updated last year
- Python package for Sentential Decision Diagrams (SDD)☆74Dec 15, 2025Updated 10 months ago
- ☆13Jul 8, 2023Updated 3 years ago
- Beyond the Selected Completely At Random Assumption for Learning from Positive and Unlabeled Data☆38Jun 25, 2024Updated 2 years ago
- NoGo(不围棋),由围棋衍生而来，属于两人零和完备信息博弈，规则与围棋相反。目前不围棋全国大学生计算机博弈大赛的比赛项目之一。☆11Nov 15, 2022Updated 3 years ago
- a python framework to build, learn and reason about probabilistic circuits and tensor networks☆145Sep 24, 2026Updated last month
- ☆14Nov 15, 2022Updated 3 years ago
- List of papers on robust Bayesian optimization☆17Dec 2, 2021Updated 4 years ago
- [ICLR 2025] This is the official implementation for the paper: "Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluat…☆47Jun 11, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- An implementation of EinsumNetworks in PyTorch.☆23Jan 26, 2026Updated 9 months ago
- A Python wrapper for the MiniZinc tool pipeline.☆55Feb 18, 2022Updated 4 years ago
- Neuron-Level Sequential Editing for Large Language Models, ACL 2025 Main☆12Oct 15, 2024Updated 2 years ago
- Squared Non-monotonic Probabilistic Circuits☆25Jan 16, 2025Updated last year
- A collection of commonly used datasets as benchmarks for density estimation☆23Dec 16, 2019Updated 6 years ago
- link a linux ELF .so library into memory with python and call functions in it, even if you're not on linux☆13Feb 5, 2020Updated 6 years ago
- A wrapper for the SDD library written in C.☆13Jun 14, 2021Updated 5 years ago