gblackout / LogicLLaMA
Large language model and dataset for natural language to first-order logic translation
☆44Updated last year
Related projects ⓘ
Alternatives and complementary repositories for LogicLLaMA
- ☆111Updated 10 months ago
- ☆15Updated 2 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆119Updated 3 weeks ago
- ☆80Updated last year
- Code for our paper "Graph Pre-training for AMR Parsing and Generation" in ACL2022☆95Updated 6 months ago
- ☆82Updated last year
- EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443☆81Updated last month
- ☆25Updated 7 months ago
- Code and Data for NeurIPS2021 Paper "A Dataset for Answering Time-Sensitive Questions"☆62Updated 2 years ago
- ☆43Updated 2 years ago
- ☆28Updated 8 months ago
- ☆47Updated 6 months ago
- ☆36Updated last year
- ☆16Updated 3 years ago
- A comprehensive paper list of Reasoning over Tables.☆26Updated 2 years ago
- ☆22Updated 8 months ago
- "Semantic Evaluation for Text-to-SQL with Distilled Test Suite", EMNLP2020☆33Updated 3 years ago
- Data and code accompanying the paper "Reasoning about Goals, Steps, and Temporal Ordering with WikiHow"☆31Updated 2 years ago
- Github repository for "FELM: Benchmarking Factuality Evaluation of Large Language Models" (NeurIPS 2023)☆54Updated 10 months ago
- ☆15Updated last year
- Data and Code Release for "On the Potential of Lexico-logical Alignments for Semantic Parsing to SQL Queries"☆52Updated 4 years ago
- ☆57Updated 2 years ago
- ☆72Updated last year
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆101Updated last month
- This code accompanies the paper DisentQA: Disentangling Parametric and Contextual Knowledge with Counterfactual Question Answering.☆18Updated last year
- ☆167Updated 3 months ago
- ☆42Updated last year
- Code for reproducing the ACL'23 paper: Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environments☆71Updated 9 months ago
- Submissions, baselines and evaluations scripts for the 2nd version of the WebNLG+ Challenge 2020☆13Updated 2 years ago
- The implementation of "RQUGE: Reference-Free Metric for Evaluating Question Generation by Answering the Question" [ACL 2023]☆13Updated 7 months ago