Alternatives and similar repositories for Logic-LLM:

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

• TIGER-AI-Lab / Program-of-Thoughts
  Data and Code for Program of Thoughts (TMLR 2023)
  ☆259Updated 9 months ago
• Aiden0526 / SymbCoT
  Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".
  ☆173Updated 7 months ago
• veronica320 / Faithful-COT
  Code and data accompanying our paper on arXiv "Faithful Chain-of-Thought Reasoning".
  ☆157Updated 9 months ago
• reasoning-machines / pal
  PaL: Program-Aided Language Models (ICML 2023)
  ☆481Updated last year
• Ber666 / ToolkenGPT
  ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings - NeurIPS 2023 (oral)
  ☆256Updated 10 months ago
• asaparov / prontoqa
  Synthetic question-answering dataset to formally analyze the chain-of-thought output of large language models on a reasoning task.
  ☆135Updated 4 months ago
• composable-models / llm_multiagent_debate
  ICML 2024: Improving Factuality and Reasoning in Language Models through Multiagent Debate
  ☆403Updated last year
• StonyBrookNLP / ircot
  Repository for Interleaving Retrieval with Chain-of-Thought Reasoning for Knowledge-Intensive Multi-Step Questions, ACL23
  ☆189Updated 8 months ago
• madaan / self-refine
  LLMs can generate feedback on their work, use it to improve the output, and repeat this process iteratively.
  ☆670Updated 4 months ago
• princeton-nlp / WebShop
  [NeurIPS 2022] 🛒WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents
  ☆305Updated 5 months ago
• bhargaviparanjape / language-programmes
  ☆172Updated 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 …
  ☆251Updated last year
• benlipkin / linc
  🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]
  ☆60Updated last year
• iiis-ai / cumulative-reasoning
  Official implementation of paper "Cumulative Reasoning With Large Language Models" (https://arxiv.org/abs/2308.04371)
  ☆288Updated 5 months ago
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆208Updated 9 months ago
• xlang-ai / Binder
  [ICLR 2023] Code for the paper "Binding Language Models in Symbolic Languages"
  ☆307Updated last year
• karthikv792 / LLMs-Planning
  An extensible benchmark for evaluating large language models on planning
  ☆323Updated 9 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".
  ☆233Updated 3 months ago
• nelson-liu / lost-in-the-middle
  Code and data for "Lost in the Middle: How Language Models Use Long Contexts"
  ☆333Updated last year
• allenai / lumos
  Code and data for "Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs"
  ☆462Updated 11 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆281Updated 9 months ago
• shizhediao / active-prompt
  Source code for the paper "Active Prompting with Chain-of-Thought for Large Language Models"
  ☆232Updated 9 months ago
• zjunlp / MachineSoM
  [ACL 2024] Exploring Collaboration Mechanisms for LLM Agents: A Social Psychology View
  ☆110Updated 9 months ago
• zorazrw / awesome-tool-llm
  ☆210Updated 6 months ago
• suzgunmirac / BIG-Bench-Hard
  Challenging BIG-Bench Tasks and Whether Chain-of-Thought Can Solve Them
  ☆459Updated 7 months ago
• princeton-nlp / ALCE
  [EMNLP 2023] Enabling Large Language Models to Generate Text with Citations. Paper: https://arxiv.org/abs/2305.14627
  ☆475Updated 4 months ago
• diagram-of-thought / diagram-of-thought
  Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
  ☆172Updated 5 months ago
• likenneth / honest_llama
  Inference-Time Intervention: Eliciting Truthful Answers from a Language Model
  ☆499Updated 3 weeks ago
• AI21Labs / in-context-ralm
  ☆271Updated last year
• SALT-NLP / DyLAN
  Official Implementation of Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization
  ☆128Updated 9 months ago