Alternatives and similar repositories for linc

Users that are interested in linc are comparing it to the libraries listed below

• teacherpeterpan / Logic-LLM

  View on GitHub
  The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
  ☆378Jun 13, 2024Updated last year
• chuanyang-Zheng / Lyra-theorem-prover

  View on GitHub
  The is the official implementation of "Lyra: Orchestrating Dual Correction in Automated Theorem Proving"
  ☆15Jul 2, 2024Updated last year
• xiye17 / SAT-LM

  View on GitHub
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆53Jul 18, 2024Updated last year
• DAMO-NLP-SG / CaRing

  View on GitHub
  Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs
  ☆41Feb 15, 2024Updated 2 years ago
• Yale-LILY / FOLIO

  View on GitHub
  ☆138Dec 22, 2023Updated 2 years ago
• ewok-core / ewok

  View on GitHub
  EWoK dataset generation framework
  ☆10May 14, 2024Updated last year
• allenai / label_rationale_association

  View on GitHub
  Code for EMNLP 2021 paper "Measuring Association Between Labels and Free-Text Rationales"
  ☆12Sep 12, 2023Updated 2 years ago
• watcl-lab / positional_attention

  View on GitHub
  Source code for the paper "Positional Attention: Expressivity and Learnability of Algorithmic Computation"
  ☆14May 26, 2025Updated 8 months ago
• Strong-AI-Lab / Logical-Equivalence-driven-AMR-Data-Augmentation-for-Representation-Learning

  View on GitHub
  The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderbo…
  ☆17Dec 2, 2025Updated 2 months ago
• chanind / amr-logic-converter

  View on GitHub
  Convert Abstract Meaning Representation (AMR) into first-order logic
  ☆16Aug 7, 2024Updated last year
• HEmile / a-nesi

  View on GitHub
  A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
  ☆23Jan 27, 2025Updated last year
• yxuansu / Awesome_Diffusions

  View on GitHub
  ☆17Feb 20, 2023Updated 2 years ago
• google-research / crossbeam

  View on GitHub
  ☆44Apr 5, 2023Updated 2 years ago
• UKPLab / on-emergence

  View on GitHub
  Codes and files for the paper Are Emergent Abilities in Large Language Models just In-Context Learning
  ☆33Jan 9, 2025Updated last year
• argolab / dyna-R

  View on GitHub
  Dyna built on R-exprs (First Prototype)
  ☆17Mar 7, 2022Updated 3 years ago
• NLP-Discourse-SoochowU / t2d_discourseparser

  View on GitHub
  A top-down text-level discourse parser.
  ☆17Jun 26, 2023Updated 2 years ago
• Aiden0526 / SymbCoT

  View on GitHub
  Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".
  ☆201Jan 29, 2026Updated 2 weeks ago
• meyerscetbon / LOT

  View on GitHub
  ☆18Jul 19, 2022Updated 3 years ago
• xiye17 / EvalQAExpl

  View on GitHub
  Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.
  ☆18Apr 25, 2021Updated 4 years ago
• bio-ontology-research-group / mowl

  View on GitHub
  mOWL: Machine Learning library with Ontologies
  ☆84Jan 18, 2026Updated 3 weeks ago
• hanjiale / GenPT

  View on GitHub
  [Findings of EMNLP 2022] Code of paper Generative Prompt Tuning for Relation Classification. https://arxiv.org/abs/2210.12435
  ☆20May 7, 2023Updated 2 years ago
• oriyor / turning_tables

  View on GitHub
  Implementation of the paper: "Turning Tables: Generating Examples from Semi-structured Tables for Endowing Language Models with Reasoning…
  ☆22Nov 2, 2021Updated 4 years ago
• hyintell / LLMSymbolic

  View on GitHub
  ☆22Feb 29, 2024Updated last year
• thuwzy / Neural-Symbolic-and-Probabilistic-Logic-Papers

  View on GitHub
  A curated paper list on neural symbolic and probabilistic logic.
  ☆134Sep 5, 2023Updated 2 years ago
• ntunlp / LLMSanitize

  View on GitHub
  An open-source library for contamination detection in NLP datasets and Large Language Models (LLMs).
  ☆59Aug 13, 2024Updated last year
• zorazrw / nqt-retrieval

  View on GitHub
  [SUKI'22] Table Retrieval May Not Necessitate Table-Specific Model Design
  ☆23Sep 23, 2022Updated 3 years ago
• zhaoxlpku / SubgoalXL

  View on GitHub
  ☆25Aug 23, 2024Updated last year
• UChicago-PL / smyth

  View on GitHub
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Mar 12, 2021Updated 4 years ago
• IBM / LOA

  View on GitHub
  Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games
  ☆56Sep 17, 2025Updated 4 months ago
• jinala / multi-agent-neurosym-transformers

  View on GitHub
  Neurosymbolic transformers for multi-agent communication.
  ☆22Oct 22, 2020Updated 5 years ago
• silky / myth

  View on GitHub
  Type-and-example-driven program synthesis for functional programming languages
  ☆27Jun 30, 2019Updated 6 years ago
• xlang-ai / Binder

  View on GitHub
  [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
  ☆325Aug 25, 2023Updated 2 years ago
• chenhongqiao / ToolDec

  View on GitHub
  Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding
  ☆28Jan 28, 2024Updated 2 years ago
• crux-eval / eval-arena

  View on GitHub
  ☆33Feb 2, 2026Updated last week
• gpoesia / minimo

  View on GitHub
  Learning Formal Mathematics from Intrinsic Motivation
  ☆37Jul 10, 2025Updated 7 months ago
• tengxiaoliu / XoT

  View on GitHub
  [EMNLP 2023] Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts
  ☆27Nov 4, 2023Updated 2 years ago
• umd-huang-lab / Mementos

  View on GitHub
  ☆32Feb 8, 2024Updated 2 years ago
• namin / holey

  View on GitHub
  Python library for program synthesis and symbolic execution combining constraint solving and LLMs
  ☆38Jan 22, 2026Updated 3 weeks ago
• rrtucci / mappa_mundi

  View on GitHub
  Causal DAG Extraction from Text (DEFT)
  ☆66Jan 11, 2025Updated last year