gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆63Updated last year
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- ☆129Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆340Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 10 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆71Updated 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☆158Updated last year
- ☆49Updated 9 months ago
- ☆88Updated 2 years ago
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆114Updated 11 months ago
- ☆117Updated 2 years ago
- [ACL 2023] Learning Multi-step Reasoning by Solving Arithmetic Tasks. https://arxiv.org/abs/2306.01707☆24Updated 2 years ago
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆28Updated last year
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆130Updated 3 years ago
- paper list on reasoning in NLP☆191Updated 4 months ago
- ☆28Updated last year
- A comprehensive paper list of Reasoning over Tables.☆28Updated 2 years ago
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆54Updated last month
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆73Updated 3 years ago
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆77Updated 3 months ago
- Official repo for ACL 2023 paper Code4Struct: Code Generation for Few-Shot Structured Prediction from Natural Language.☆40Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆282Updated last year
- ☆16Updated last month
- [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"☆75Updated last year
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- Code and data for the paper Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization☆23Updated 2 years ago
- ☆36Updated 2 years ago
- A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic…☆372Updated 4 months ago
- ☆20Updated last year
- An extensible benchmark for evaluating large language models on planning☆397Updated last month
- The official code of TACL 2021, "Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategies".☆77Updated 2 years ago