teacherpeterpan / Logic-LLMLinks
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
☆326Updated 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".☆186Updated 11 months ago
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆206Updated 2 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆70Updated last year
- Data and Code for Program of Thoughts (TMLR 2023)☆276Updated last year
- An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]☆326Updated last year
- ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)☆262Updated last year
- ☆172Updated 2 years ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆147Updated 8 months ago
- An extensible benchmark for evaluating large language models on planning☆384Updated this week
- ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …☆269Updated last year
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆294Updated 9 months ago
- augmented LLM with self reflection☆127Updated last year
- ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate☆445Updated 2 months ago
- Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23☆216Updated last year
- Code and data for "Lost in the Middle: How Language Models Use Long Contexts"☆348Updated last year
- [NeurIPS 2024] Knowledge Circuits in Pretrained Transformers☆148Updated 4 months ago
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆185Updated 2 months ago
- ☆318Updated 9 months ago
- ☆232Updated 10 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆74Updated last year
- Must-read Papers on Large Language Model (LLM) as Optimizers and Automatic Optimization for Prompting LLMs.☆244Updated last year
- A banchmark list for evaluation of large language models.☆128Updated last month
- ☆294Updated last year
- Reasoning with Language Model is Planning with World Model☆169Updated last year
- [NAACL 2025] KnowAgent: Knowledge-Augmented Planning for LLM-Based Agents☆228Updated 4 months ago
- A curated collection of LLM reasoning and planning resources, including key papers, limitations, benchmarks, and additional learning mate…☆279Updated 3 months ago
- Official implementation for the paper "DoLa: Decoding by Contrasting Layers Improves Factuality in Large Language Models"☆501Updated 5 months ago
- FireAct: Toward Language Agent Fine-tuning☆279Updated last year
- A simple unified framework for evaluating LLMs☆219Updated 2 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆276Updated last year