gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆64Updated last year
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated last week
- ☆130Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆74Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆345Updated 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☆163Updated last year
- ☆121Updated 2 years ago
- Companion code for FanOutQA: Multi-Hop, Multi-Document Question Answering for Large Language Models (ACL 2024)☆54Updated 2 months ago
- paper list on reasoning in NLP☆191Updated 5 months ago
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆29Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆285Updated last year
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆163Updated last year
- A package to evaluate factuality of long-form generation. Original implementation of our EMNLP 2023 paper "FActScore: Fine-grained Atomic…☆380Updated 5 months ago
- ☆27Updated last year
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆115Updated last year
- ☆36Updated 2 years ago
- NAACL 2021: Are NLP Models really able to Solve Simple Math Word Problems?☆131Updated 3 years ago
- ☆186Updated 2 months ago
- ☆20Updated last year
- ☆57Updated 3 months ago
- Source code of our paper MIND, ACL 2024 Long Paper☆50Updated last year
- ACL2023 - AlignScore, a metric for factual consistency evaluation.☆138Updated last year
- ☆16Updated 2 months ago
- ☆55Updated 2 years ago
- ☆20Updated last year
- ☆82Updated 2 years ago
- ☆50Updated 10 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
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆34Updated last year
- [NAACL'25 Oral] Steering Knowledge Selection Behaviours in LLMs via SAE-Based Representation Engineering☆63Updated 9 months ago