gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆60Updated last year
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆333Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆146Updated 9 months ago
- ☆128Updated last year
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆27Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆71Updated last year
- Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022☆150Updated last year
- ☆109Updated last year
- paper list on reasoning in NLP☆190Updated 3 months ago
- An extensible benchmark for evaluating large language models on planning☆386Updated 3 weeks ago
- ☆36Updated 2 years ago
- ☆28Updated last year
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆74Updated 2 months ago
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆114Updated 10 months ago
- [COLM'24] "Deductive Beam Search: Decoding Deducible Rationale for Chain-of-Thought Reasoning"☆21Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆279Updated last year
- ☆87Updated 2 years ago
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆130Updated 3 years ago
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated last year
- ☆178Updated 11 months ago
- [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"☆70Updated last year
- ☆16Updated this week
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆72Updated 3 years ago
- A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic…☆359Updated 3 months ago
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆53Updated 3 weeks ago
- ☆182Updated 2 weeks ago
- [ACL'24 Findings] Teaching Large Language Models an Unseen Language on the Fly☆22Updated 4 months ago
- Repository for Decomposed Prompting☆91Updated last year
- SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…☆258Updated last month
- ☆82Updated 2 years ago