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".
  ☆185Updated 10 months ago
• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts (TMLR 2023)
  ☆270Updated 11 months ago
• karthikv792 / LLMs-Planning
  An extensible benchmark for evaluating large language models on planning
  ☆356Updated 2 weeks ago
• ezelikman / STaR
  Code for STaR: Bootstrapping Reasoning With Reasoning (NeurIPS 2022)
  ☆205Updated 2 years ago
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆159Updated last year
• bhargaviparanjape / language-programmes
  ☆173Updated last year
• iiis-ai / cumulative-reasoning
  Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)
  ☆293Updated 7 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆313Updated 11 months ago
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆67Updated last year
• zorazrw / awesome-tool-llm
  ☆227Updated 8 months ago
• waterhorse1 / LLM_Tree_Search
  (ICML 2024) Alphazero-like Tree-Search can guide large language model decoding and training
  ☆267Updated 11 months ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆146Updated 6 months ago
• NumberChiffre / mcts-llm
  ☆94Updated 4 months ago
• Ber666 / RAP
  Reasoning with Language Model is Planning with World Model
  ☆164Updated last year
• SuperBruceJia / Awesome-LLM-Self-Consistency
  Awesome LLM Self-Consistency: a curated list of Self-consistency in Large Language Models
  ☆96Updated 9 months ago
• Ber666 / ToolkenGPT
  ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
  ☆262Updated last year
• StonyBrookNLP / ircot
  Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23
  ☆206Updated 11 months ago
• snap-stanford / MLAgentBench
  ☆288Updated 10 months ago
• OSU-NLP-Group / GrokkedTransformer
  Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'
  ☆190Updated 5 months ago
• zjunlp / KnowledgeCircuits
  [NeurIPS 2024] Knowledge Circuits in Pretrained Transformers
  ☆145Updated 2 months ago
• MARIO-Math-Reasoning / Super_MARIO
  ☆328Updated 3 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆142Updated last year
• zjunlp / MachineSoM
  [ACL 2024] Exploring Collaboration Mechanisms for LLM Agents: A Social Psychology View
  ☆116Updated 11 months ago
• xlang-ai / Binder
  [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
  ☆313Updated last year
• FreedomIntelligence / ReasoningNLP
  paper list on reasoning in NLP
  ☆189Updated last month
• Saibo-creator / Awesome-LLM-Constrained-Decoding
  A curated list of papers related to constrained decoding of LLM, along with their relevant code and resources.
  ☆196Updated last week
• SALT-NLP / DyLAN
  Official Implementation of Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization
  ☆142Updated 11 months ago
• salesforce / BOLAA
  ☆180Updated 3 months ago
• kanishkg / cognitive-behaviors
  ☆165Updated last month
• nelson-liu / lost-in-the-middle
  Code and data for "Lost in the Middle: How Language Models Use Long Contexts"
  ☆343Updated last year