benlipkin / lincLinks
🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
☆79Updated 2 years ago
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 4 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Updated 2 years ago
- ☆25Updated last year
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆41Updated last year
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆37Updated last year
- ☆119Updated last year
- ☆85Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆52Updated last year
- ☆56Updated last year
- ☆26Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆375Updated last year
- ☆140Updated 2 years ago
- Composable inference algorithms with LLMs and programmable logic☆69Updated last year
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆41Updated last year
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆160Updated last year
- ☆102Updated 2 years ago
- ☆35Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Updated last year
- Can Language Models Solve Olympiad Programming?☆123Updated last year
- Code for paper "LEVER: Learning to Verifiy Language-to-Code Generation with Execution" (ICML'23)☆90Updated 2 years ago
- A unified benchmark for math reasoning☆89Updated 3 years ago
- [AAAI 2025] Augmenting Math Word Problems via Iterative Question Composing (https://arxiv.org/abs/2401.09003)☆23Updated 3 months ago
- Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering☆63Updated last year
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆200Updated last year
- e☆43Updated 9 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Updated last year
- [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples☆114Updated 6 months ago
- "Improving Mathematical Reasoning with Process Supervision" by OPENAI☆114Updated last week