gblackout / LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
☆55Updated last year
Alternatives and similar repositories for LogicLLaMA:
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
- ☆119Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆65Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆66Updated last year
- [ACL 2023] Learning Multi-step Reasoning by Solving Arithmetic Tasks. https://arxiv.org/abs/2306.01707☆24Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆144Updated 6 months ago
- ☆63Updated 2 years ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆84Updated 7 months ago
- ☆86Updated last year
- ☆43Updated 2 years ago
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆109Updated 7 months ago
- ☆101Updated last year
- Official repo for ACL 2023 paper Code4Struct: Code Generation for Few-Shot Structured Prediction from Natural Language.☆42Updated last year
- ☆82Updated 2 years ago
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".☆44Updated 2 years ago
- ☆16Updated 3 years ago
- ☆15Updated 2 years ago
- EMNLP 2024 Tutorial: https://sites.google.com/view/reasoning-with-explanations☆10Updated last week
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆37Updated 2 years ago
- Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022☆128Updated 10 months ago
- WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000…☆47Updated last year
- ☆49Updated 4 months ago
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆125Updated 2 years ago
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆73Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆48Updated 9 months ago
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆68Updated 3 years ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆315Updated 10 months ago
- ☆28Updated last year
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆53Updated last month
- AdaLoGN: Adaptive Logic Graph Network for Reasoning-Based Machine Reading Comprehension (ACL 2022)☆26Updated 2 years ago