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".
  ☆197Updated last year
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆78Updated last year
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts [TMLR 2023]
  ☆301Updated last year
• ezelikman / STaR
  Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)
  ☆217Updated 2 years ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆154Updated 3 months ago
• iiis-ai / cumulative-reasoning
  [TMLR] Cumulative Reasoning With Large Language Models (https://arxiv.org/abs/2308.04371)
  ☆307Updated 4 months ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆74Updated 2 years ago
• karthikv792 / LLMs-Planning
  An extensible benchmark for evaluating large language models on planning
  ☆435Updated 3 months ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated 2 years ago
• wenhuchen / TheoremQA
  The dataset and code for paper: TheoremQA: A Theorem-driven Question Answering dataset
  ☆160Updated last year
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆375Updated last year
• jeffhj / LM-reasoning
  This repository contains a collection of papers and resources on Reasoning in Large Language Models.
  ☆565Updated 2 years ago
• Ber666 / ToolkenGPT
  ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
  ☆266Updated last year
• xlang-ai / Binder
  [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
  ☆325Updated 2 years ago
• bhargaviparanjape / language-programmes
  ☆173Updated 2 years ago
• FreedomIntelligence / ReasoningNLP
  paper list on reasoning in NLP
  ☆194Updated 8 months ago
• teacherpeterpan / self-correction-llm-papers
  This is a collection of research papers for Self-Correcting Large Language Models with Automated Feedback.
  ☆561Updated last year
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆234Updated last year
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆165Updated last year
• night-chen / ToolQA
  ToolQA, a new dataset to evaluate the capabilities of LLMs in answering challenging questions with external tools. It offers two levels …
  ☆283Updated 2 years ago
• StonyBrookNLP / musique
  Repository for MuSiQue: Multi-hop Questions via Single-hop Question Composition, TACL 2022
  ☆182Updated last year
• princeton-nlp / WebShop
  [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents
  ☆447Updated last year
• zorazrw / awesome-tool-llm
  ☆242Updated last year
• shizhediao / active-prompt
  Source code for the paper "Active Prompting with Chain-of-Thought for Large Language Models"
  ☆248Updated last year
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆283Updated last year
• composable-models / llm_multiagent_debate
  ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate
  ☆497Updated 8 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".
  ☆261Updated last year
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆518Updated 2 years ago
• lukasberglund / reversal_curse
  ☆301Updated 2 years ago
• sambanova / toolbench
  ToolBench, an evaluation suite for LLM tool manipulation capabilities.
  ☆168Updated last year