gblackout / LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
ā50Updated last year
Alternatives and similar repositories for LogicLLaMA:
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
- ā114Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.ā135Updated 4 months ago
- š LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]ā60Updated last year
- ā85Updated last year
- Character-based seq2seq models (english => predicate logic)ā14Updated 4 years ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Modelsā64Updated last year
- ā43Updated 2 years ago
- ā25Updated 11 months ago
- ā82Updated last year
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443ā83Updated 5 months ago
- ā30Updated last year
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregationā20Updated 11 months ago
- ā85Updated last year
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"ā66Updated 2 years ago
- ā28Updated last year
- ā17Updated 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
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questionsā106Updated 5 months ago
- ā35Updated 3 months ago
- ā137Updated 2 years ago
- ā15Updated 2 years ago
- Official code repository for the main conference paper in ACL2023: COLA: Contextualized Commonsense Causality Reasoning from the Causal Iā¦ā27Updated last year
- ā13Updated 2 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)ā47Updated 7 months ago
- [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"ā65Updated 10 months ago
- [NAACL'25] Steering Knowledge Selection Behaviours in LLMs via SAE-Based Representation Engineeringā47Updated 2 months ago
- ā53Updated 2 months ago
- The code of Paper "Logic-Driven Context Extension and Data Augmentation for Logical Reasoning of Text".ā44Updated last year
- Code for the paper "Open Domain Question Answering with A Unified Knowledge Interface" (ACL 2022)ā57Updated last year
- Codes for ACL 2023 Paper "Fact-Checking Complex Claims with Program-Guided Reasoning"ā29Updated last year