gblackout / LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
☆45Updated last year
Related projects ⓘ
Alternatives and complementary repositories for LogicLLaMA
- ☆112Updated 11 months ago
- ☆48Updated 7 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆118Updated last month
- ☆28Updated this week
- ☆80Updated last year
- ☆15Updated 2 years ago
- ☆72Updated last year
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆63Updated 2 years ago
- ☆83Updated last year
- ☆28Updated 9 months ago
- ☆13Updated 2 years ago
- [ACL 2023] Learning Multi-step Reasoning by Solving Arithmetic Tasks. https://arxiv.org/abs/2306.01707☆23Updated last year
- Code for the ACL2023 paper: CAT: A Contextualized Conceptualization and Instantiation Framework for Commonsense Reasoning (https://aclant…☆11Updated last year
- Submissions, baselines and evaluations scripts for the 2nd version of the WebNLG+ Challenge 2020☆13Updated 2 years ago
- WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000…☆46Updated 11 months ago
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆81Updated 2 months ago
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆71Updated 10 months ago
- Extracting Cultural Commonsense Knowledge at Scale (WWW 2023)☆10Updated 9 months ago
- ☆62Updated last year
- ☆36Updated last year
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆102Updated 2 months ago
- Code for our paper "Graph Pre-training for AMR Parsing and Generation" in ACL2022☆95Updated 6 months ago
- A comprehensive paper list of Reasoning over Tables.☆26Updated 2 years ago
- ☆16Updated last year
- Codes for ACL 2023 Paper "Fact-Checking Complex Claims with Program-Guided Reasoning"☆28Updated last year
- ☆13Updated 2 years ago
- Official code repository for the main conference paper in ACL2023: COLA: Contextualized Commonsense Causality Reasoning from the Causal I…☆25Updated last year
- Character-based seq2seq models (english => predicate logic)☆14Updated 3 years ago
- [ICLR'24 Spotlight] "Adaptive Chameleon or Stubborn Sloth: Revealing the Behavior of Large Language Models in Knowledge Conflicts"☆61Updated 7 months ago
- ☆15Updated 3 years ago