teacherpeterpan / Logic-LLMLinks
The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"
☆376Updated 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".☆201Updated last week
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Updated 2 years ago
- Data and Code for Program of Thoughts [TMLR 2023]☆303Updated last year
- An extensible benchmark for evaluating large language models on planning☆447Updated 4 months ago
- Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)☆220Updated 2 years ago
- Large language model and dataset for natural language to first-order logic translation☆74Updated 2 years ago
- [TMLR] Cumulative Reasoning With Large Language Models (https://arxiv.org/abs/2308.04371)☆308Updated 6 months ago
- Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.☆154Updated 5 months ago
- [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"☆325Updated 2 years ago
- ☆242Updated last year
- ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)☆270Updated last year
- ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …☆285Updated 2 years ago
- [ICML 2023] Data and code release for the paper "DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation".☆267Updated last year
- An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]☆390Updated last year
- [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents☆478Updated last year
- ☆173Updated 2 years ago
- Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them☆548Updated last year
- The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset☆160Updated last year
- A curated collection of LLM reasoning and planning resources, including key papers, limitations, benchmarks, and additional learning mate…☆308Updated 11 months ago
- Paper collection on building and evaluating language model agents via executable language grounding☆364Updated last year
- This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.☆565Updated last year
- paper list on reasoning in NLP☆195Updated 10 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆75Updated 2 years ago
- [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898☆240Updated last year
- Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".☆165Updated last year
- ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate☆506Updated 9 months ago
- PaL: Program-Aided Language Models (ICML 2023)☆517Updated 2 years ago
- augmented LLM with self reflection☆137Updated 2 years ago
- This repository contains a collection of papers and resources on Reasoning in Large Language Models.☆566Updated 2 years ago
- ToolBench, an evaluation suite for LLM tool manipulation capabilities.☆172Updated last year