teacherpeterpan / Logic-LLMLinks
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
☆350Updated 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".☆193Updated last year
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆75Updated last year
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆211Updated 2 years ago
- Data and Code for Program of Thoughts [TMLR 2023]☆286Updated last year
- An extensible benchmark for evaluating large language models on planning☆410Updated 3 weeks ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆150Updated last month
- [TMLR] Cumulative Reasoning With Large Language Models (https://arxiv.org/abs/2308.04371)☆302Updated 2 months ago
- Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models☆109Updated 2 months ago
- ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)☆262Updated last year
- ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate☆469Updated 5 months ago
- ToolBench, an evaluation suite for LLM tool manipulation capabilities.☆162Updated last year
- Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022☆168Updated last year
- [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"☆322Updated 2 years ago
- ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …☆277Updated 2 years ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated last year
- [ICML 2023] Data and code release for the paper "DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation".☆256Updated 11 months ago
- An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]☆353Updated last year
- A curated list of papers related to constrained decoding of LLM, along with their relevant code and resources.☆260Updated last month
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆163Updated last year
- ☆240Updated last year
- augmented LLM with self reflection☆133Updated last year
- Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23☆235Updated last year
- ☆295Updated last year
- paper list on reasoning in NLP☆192Updated 6 months ago
- [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents☆405Updated last year
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆282Updated last year
- ☆173Updated 2 years ago
- ☆163Updated last year
- 🌍 Repository for "AppWorld: A Controllable World of Apps and People for Benchmarking Interactive Coding Agent", ACL'24 Best Resource Pap…☆248Updated last month
- Paper collection on building and evaluating language model agents via executable language grounding☆362Updated last year