Alternatives and similar repositories for Formal-LLM

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

• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆98Updated last year
• agentification / RAFA_code
  ☆142Updated last year
• allenai / clin
  ☆82Updated last year
• shunzh / Code-AI-Tree-Search
  ☆118Updated 11 months ago
• zbambergerNLP / strategic-debate-tot
  A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments
  ☆81Updated 8 months ago
• microsoft / simulated-trial-and-error
  ☆121Updated last year
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆83Updated last year
• asappresearch / webagents-step
  ☆40Updated 11 months ago
• NL2Code / CodeR
  ☆158Updated 9 months ago
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆275Updated 4 months ago
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆104Updated 6 months ago
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆86Updated 9 months ago
• agiresearch / CoRE
  LLM as Interpreter for Natural Language Programming, Pseudo-code Programming and Flow Programming of AI Agents
  ☆40Updated 10 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆143Updated last year
• aymeric-roucher / GAIA
  Beating the GAIA benchmark with Transformers Agents. 🚀
  ☆123Updated 4 months ago
• McGill-NLP / weblinx
  WebLINX is a benchmark for building web navigation agents with conversational capabilities
  ☆150Updated 4 months ago
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆148Updated 4 months ago
• LLM360 / crystalcoder-data-prep
  Data preparation code for CrystalCoder 7B LLM
  ☆45Updated last year
• wang-research-lab / agentinstruct
  Code repo for "Agent Instructs Large Language Models to be General Zero-Shot Reasoners"
  ☆112Updated 9 months ago
• Zyq-scut / RLTF
  Accepted by Transactions on Machine Learning Research (TMLR)
  ☆128Updated 8 months ago
• salesforce / BOLAA
  ☆182Updated 4 months ago
• Ag2S1 / Sibyl-System
  ☆121Updated 10 months ago
• zou-group / sirius
  SiriuS: Self-improving Multi-agent Systems via Bootstrapped Reasoning
  ☆56Updated 2 months ago
• allenai / CommonGen-Eval
  Evaluating LLMs with CommonGen-Lite
  ☆90Updated last year
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆93Updated 2 weeks ago
• Anni-Zou / Meta-CoT
  Meta-CoT: Generalizable Chain-of-Thought Prompting in Mixed-task Scenarios with Large Language Models
  ☆97Updated last year
• Aiden0526 / SymbCoT
  Codes and Data for ACL 2024 Paper "Faithful Logical Reasoning via Symbolic Chain-of-Thought".
  ☆185Updated 11 months ago
• Xalp / ECHO
  Official homepage for "Self-Harmonized Chain of Thought" (NAACL 2025)
  ☆91Updated 5 months ago
• DeepSoftwareAnalytics / Awesome-Agent4SE
  ☆96Updated 9 months ago
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆87Updated 8 months ago