gblackout / LogicLLaMALinks
Large language model and dataset for natural language to first-order logic translation
☆59Updated last year
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below
Sorting:
- ☆126Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 8 months ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆70Updated last year
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆74Updated last year
- LogicBench is a natural language question-answering dataset consisting of 25 different reasoning patterns spanning over propositional, fi…☆27Updated last year
- [EMNLP 2023] MQuAKE: Assessing Knowledge Editing in Language Models via Multi-Hop Questions☆112Updated 9 months ago
- Official code for paper Understanding the Reasoning Ability of Language Models From the Perspective of Reasoning Paths Aggregation☆20Updated last year
- ☆87Updated 2 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated 11 months ago
- Character-based seq2seq models (english => predicate logic)☆14Updated 4 years ago
- ☆36Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆38Updated 2 years ago
- ☆15Updated 7 months ago
- ☆82Updated 2 years ago
- Code and data for the paper Acquiring and Modelling Abstract Commonsense Knowledge via Conceptualization☆23Updated 2 years ago
- ☆28Updated last year
- ☆48Updated 6 months ago
- Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models☆99Updated 10 months ago
- ☆109Updated last year
- Source code of our paper MIND, ACL 2024 Long Paper☆42Updated last year
- ☆16Updated 3 years ago
- ☆59Updated 7 months ago
- ☆27Updated last year
- ☆19Updated last year
- Augmenting Statistical Models with Natural Language Parameters☆27Updated 9 months ago
- WikiWhy is a new benchmark for evaluating LLMs' ability to explain between cause-effect relationships. It is a QA dataset containing 9000…☆47Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆326Updated last year
- ☆18Updated last year
- ☆34Updated last year
- How do transformer LMs encode relations?☆48Updated last year