🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
☆87Jan 2, 2024Updated 2 years ago
Alternatives and similar repositories for linc
Users that are interested in linc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆414Jun 13, 2024Updated 2 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆54Jul 18, 2024Updated 2 years ago
- ☆148Dec 22, 2023Updated 2 years ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆208Jan 29, 2026Updated 9 months 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- Experiment for lsat☆52Jan 20, 2023Updated 3 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
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆56Mar 26, 2020Updated 6 years ago
- Repository for: "SymBa: Symbolic Backward Chaining for Multi-step Natural Language Reasoning"☆11Aug 27, 2026Updated 2 months ago
- Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICL…☆34May 12, 2025Updated last year
- ☆22Feb 29, 2024Updated 2 years ago
- ☆20May 12, 2022Updated 4 years ago
- Open source code for paper☆14May 27, 2024Updated 2 years 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.
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- Code and data for the paper FROM ATOMIC TO COMPOSITE: REINFORCEMENT LEARNING ENABLES GENERALIZATION IN COMPLEMENTARY REASONING☆15Oct 15, 2026Updated 3 weeks ago
- Neurosymbolic Library☆31Aug 19, 2026Updated 2 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆169Sep 9, 2025Updated last year
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- ☆45Apr 5, 2023Updated 3 years ago
- The official data and code for EMNLP 2023 main conference paper: CRT-QA: A Dataset of Complex Reasoning Question Answering over Tabular D…☆13May 19, 2025Updated last year
- EWoK dataset generation framework☆14May 14, 2024Updated 2 years ago
- [EMNLP 2024 Main] Official implementation of the paper "Unveiling In-Context Learning: A Coordinate System to Understand Its Working Mech…☆16Oct 8, 2024Updated 2 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.
- Convert Abstract Meaning Representation (AMR) into first-order logic☆17Aug 7, 2024Updated 2 years ago
- ☆139Nov 3, 2023Updated 3 years ago
- [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"☆324Aug 25, 2023Updated 3 years ago
- Pushing Test-Time Scaling Limits of Deep Search with Asymmetric Verification☆23Oct 8, 2025Updated last year
- ☆57Dec 7, 2024Updated last year
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆58Oct 26, 2026Updated last week
- Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.☆17Apr 25, 2021Updated 5 years ago
- A curated paper list on neural symbolic and probabilistic logic.☆138Sep 5, 2023Updated 3 years ago
- Retrieval-Augmented Theorem Provers for Lean☆340Jan 30, 2025Updated last year
- 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.
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 4 years ago
- Framework and Language for Neurosymbolic Programming.☆525Jun 26, 2026Updated 4 months ago
- Source code for the paper "Positional Attention: Expressivity and Learnability of Algorithmic Computation"☆13May 26, 2025Updated last year
- a benckmark for evaluating logical reasoning of LLMs☆23Jan 25, 2024Updated 2 years ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Implementation of the paper: "Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning…☆22Nov 2, 2021Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago