gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆65Updated last year
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- ☆131Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆75Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆150Updated last month
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆30Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆350Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated last year
- Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022☆168Updated last year
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆116Updated last year
- ☆122Updated 2 years ago
- Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models☆109Updated 2 months ago
- ☆27Updated last year
- paper list on reasoning in NLP☆192Updated 6 months ago
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆78Updated 4 months ago
- ☆88Updated 2 years ago
- ☆189Updated 3 months ago
- [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"☆77Updated last year
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆55Updated 2 weeks ago
- ☆28Updated last year
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆73Updated 3 years ago
- Code for the ACL-2022 paper "Knowledge Neurons in Pretrained Transformers"☆172Updated last year
- LogiTorch is a PyTorch-based library for logical reasoning on natural language☆73Updated last year
- Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713☆11Updated 4 years ago
- How do transformer LMs encode relations?☆53Updated last year
- The LM Contamination Index is a manually created database of contamination evidences for LMs.☆80Updated last year
- 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
- ☆20Updated last year
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆34Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆286Updated last year
- [NAACL 2024] End-to-End Beam Retrieval for Multi-Hop Question Answering☆114Updated last year