teacherpeterpan / Logic-LLM
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
☆280Updated 7 months ago
Alternatives and similar repositories for Logic-LLM:
Users that are interested in Logic-LLM are comparing it to the libraries listed below
- Data and Code for Program of Thoughts (TMLR 2023)☆256Updated 8 months ago
- Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".☆169Updated 6 months ago
- ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)☆254Updated 9 months ago
- ☆171Updated last year
- An Analytical Evaluation Board of Multi-turn LLM Agents☆270Updated 8 months ago
- [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"☆307Updated last year
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆157Updated 8 months ago
- ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate☆386Updated last year
- [ACL 2024] Exploring Collaboration Mechanisms for LLM Agents: A Social Psychology View☆106Updated 8 months ago
- Code for Arxiv 2023: Improving Language Model Negociation with Self-Play and In-Context Learning from AI Feedback☆204Updated last year
- ☆206Updated 5 months ago
- This is the official repo for "PromptAgent: Strategic Planning with Language Models Enables Expert-level Prompt Optimization". PromptAgen…☆235Updated 5 months ago
- (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training☆251Updated 7 months ago
- [ICML 2023] Data and code release for the paper "DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation".☆231Updated 2 months ago
- Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)☆288Updated 4 months ago
- ToolBench, an evaluation suite for LLM tool manipulation capabilities.☆148Updated 10 months ago
- Codes for our paper "ChatEval: Towards Better LLM-based Evaluators through Multi-Agent Debate"☆252Updated 3 months ago
- Repo for paper "Unleashing Cognitive Synergy in Large Language Models: A Task-Solving Agent through Multi-Persona Self-Collaboration"☆319Updated 8 months ago
- ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …☆249Updated last year
- An extensible benchmark for evaluating large language models on planning☆314Updated 7 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆130Updated 3 months ago
- [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents☆298Updated 4 months ago
- Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models☆86Updated 5 months ago
- ☆264Updated 7 months ago
- ☆129Updated last year
- augmented LLM with self reflection☆109Updated last year
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆155Updated 8 months ago
- ☆120Updated 7 months ago
- LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.☆657Updated 3 months ago
- PaL: Program-Aided Language Models (ICML 2023)☆480Updated last year