gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆74Updated 2 years ago
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- ☆140Updated 2 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 4 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Updated 2 years ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆375Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022☆188Updated last year
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆36Updated last year
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆139Updated 3 years ago
- ☆28Updated last year
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆58Updated 4 months ago
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆78Updated 8 months ago
- paper list on reasoning in NLP☆195Updated 9 months ago
- Data and Code for Program of Thoughts [TMLR 2023]☆303Updated last year
- ☆88Updated 2 years ago
- ☆136Updated 2 years ago
- Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models☆119Updated 6 months ago
- ☆188Updated 6 months ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆200Updated last year
- Code and data for the paper Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization☆23Updated 3 years ago
- ☆27Updated last year
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Updated 5 years ago
- ☆22Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆39Updated 2 years ago
- ☆21Updated 4 years ago
- "Semantic Evaluation for Text-to-SQL with Distilled Test Suite", EMNLP2020☆41Updated 5 years ago
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆118Updated last year
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆52Updated last year
- ☆20Updated 2 years ago
- ☆46Updated 3 years ago