Alternatives and similar repositories for Logic-LLM

Users that are interested in Logic-LLM are comparing it to the libraries listed below

• Aiden0526 / SymbCoT
  Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".
  ☆201Updated 2 weeks ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆80Updated 2 years ago
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆306Updated last year
• ezelikman / STaR
  Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)
  ☆220Updated 2 years ago
• Ber666 / ToolkenGPT
  ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
  ☆270Updated last year
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆154Updated 5 months ago
• xlang-ai / DS-1000
  [ICML 2023] Data and code release for the paper "DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation".
  ☆267Updated last year
• karthikv792 / LLMs-Planning
  An extensible benchmark for evaluating large language models on planning
  ☆448Updated 4 months ago
• iiis-ai / cumulative-reasoning
  [TMLR] Cumulative Reasoning With Large Language Models (https://arxiv.org/abs/2308.04371)
  ☆308Updated 6 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆390Updated last year
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆74Updated 2 years ago
• zorazrw / awesome-tool-llm
  ☆242Updated last year
• composable-models / llm_multiagent_debate
  ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate
  ☆506Updated 9 months ago
• sambanova / toolbench
  ToolBench, an evaluation suite for LLM tool manipulation capabilities.
  ☆172Updated last year
• bhargaviparanjape / language-programmes
  ☆173Updated 2 years ago
• princeton-nlp / WebShop
  [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents
  ☆478Updated last year
• xlang-ai / Binder
  [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
  ☆325Updated 2 years ago
• night-chen / ToolQA
  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
• wenhuchen / TheoremQA
  The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
  ☆160Updated last year
• jeffhj / LM-reasoning
  This repository contains a collection of papers and resources on Reasoning in Large Language Models.
  ☆566Updated 2 years ago
• teacherpeterpan / self-correction-llm-papers
  This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.
  ☆565Updated last year
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆240Updated last year
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated 2 years ago
• shizhediao / active-prompt
  Source code for the paper "Active Prompting with Chain-of-Thought for Large Language Models"
  ☆247Updated last year
• princeton-nlp / AutoCompressors
  [EMNLP 2023] Adapting Language Models to Compress Long Contexts
  ☆328Updated last year
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆165Updated last year
• xlang-ai / xlang-paper-reading
  Paper collection on building and evaluating language model agents via executable language grounding
  ☆364Updated last year
• nelson-liu / lost-in-the-middle
  Code and data for "Lost in the Middle: How Language Models Use Long Contexts"
  ☆373Updated 2 years ago
• FreedomIntelligence / ReasoningNLP
  paper list on reasoning in NLP
  ☆195Updated 10 months ago
• lukasberglund / reversal_curse
  ☆305Updated 2 years ago