teacherpeterpan / Logic-LLMLinks
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
☆333Updated last year
Alternatives and similar repositories for Logic-LLM
Users that are interested in Logic-LLM are comparing it to the libraries listed below
Sorting:
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆188Updated last year
- Data and Code for Program of Thoughts [TMLR 2023]☆279Updated last year
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆206Updated 2 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆71Updated last year
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆146Updated 9 months ago
- An extensible benchmark for evaluating large language models on planning☆386Updated 3 weeks ago
- ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)☆262Updated last year
- [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"☆319Updated last year
- ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …☆272Updated last year
- An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]☆329Updated last year
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆294Updated 10 months ago
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆161Updated last year
- Large language model and dataset for natural language to first-order logic translation☆60Updated last year
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆157Updated last year
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆564Updated last year
- 🌍 Repository for "AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agent", ACL'24 Best Resource Pap…☆225Updated 2 months ago
- ☆234Updated 11 months ago
- ☆172Updated 2 years ago
- ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate☆450Updated 2 months ago
- A curated collection of LLM reasoning and planning resources, including key papers, limitations, benchmarks, and additional learning mate…☆283Updated 4 months ago
- Mass-editing thousands of facts into a transformer memory (ICLR 2023)☆505Updated last year
- ☆291Updated last year
- augmented LLM with self reflection☆129Updated last year
- paper list on reasoning in NLP☆190Updated 3 months ago
- [NeurIPS 2024] Knowledge Circuits in Pretrained Transformers☆149Updated 4 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆278Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆536Updated 8 months ago
- Source code for the paper "Active Prompting with Chain-of-Thought for Large Language Models"☆243Updated last year
- Code and data for "Lost in the Middle: How Language Models Use Long Contexts"☆351Updated last year
- ☆183Updated 5 months ago