benlipkin / lincLinks
🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
☆78Updated last year
Alternatives and similar repositories for linc
Users that are interested in linc are comparing it to the libraries listed below
Sorting:
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 3 months ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- ☆26Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆367Updated last year
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆37Updated last year
- ☆120Updated last year
- ☆25Updated last year
- ☆85Updated 10 months ago
- Composable inference algorithms with LLMs and programmable logic☆69Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- ☆56Updated last year
- ☆136Updated last year
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering☆63Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆40Updated last year
- Can Language Models Solve Olympiad Programming?☆122Updated 10 months ago
- ☆35Updated 11 months ago
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆160Updated last year
- e☆42Updated 7 months ago
- ☆103Updated 2 years ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆68Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆195Updated last year
- ☆17Updated 5 months ago
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆33Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆125Updated last year
- "Improving Mathematical Reasoning with Process Supervision" by OPENAI☆113Updated last month
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆31Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆300Updated last year
- [NeurIPS 2024] MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems☆92Updated last year