Alternatives and similar repositories for Formal-LLM:

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

• asappresearch / webagents-step
  ☆40Updated 9 months ago
• DeepSoftwareAnalytics / Awesome-Agent4SE
  ☆93Updated 7 months ago
• rhyang2021 / SELFGOAL
  Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".
  ☆66Updated 10 months ago
• 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
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆268Updated 3 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆142Updated last year
• diagram-of-thought / diagram-of-thought
  Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
  ☆178Updated last month
• allenai / clin
  ☆82Updated last year
• NL2Code / CodeR
  ☆155Updated 8 months ago
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆78Updated last year
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆309Updated 11 months ago
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆172Updated last month
• microsoft / simulated-trial-and-error
  ☆121Updated 10 months ago
• zbambergerNLP / strategic-debate-tot
  A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments
  ☆78Updated 7 months ago
• aymeric-roucher / GAIA
  Beating the GAIA benchmark with Transformers Agents. 🚀
  ☆113Updated 2 months ago
• colonylabs / ScribeAgent
  Code for ScribeAgent paper
  ☆57Updated 2 months ago
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆104Updated 4 months ago
• Ag2S1 / Sibyl-System
  ☆119Updated 8 months ago
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples
  ☆85Updated last month
• r2e-project / r2e
  r2e: turn any github repository into a programming agent environment
  ☆116Updated 2 weeks ago
• aorwall / moatless-tree-search
  ☆79Updated 2 weeks ago
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆108Updated 6 months ago
• SalesforceAIResearch / LaTRO
  ☆114Updated 2 months ago
• InternLM / SWE-Fixer
  ☆85Updated last week
• THU-KEG / Agentic-Reward-Modeling
  Agentic Reward Modeling: Integrating Human Preferences with Verifiable Correctness Signals for Reliable Reward Systems
  ☆90Updated last month
• rxlqn / awesome-llm-self-reflection
  augmented LLM with self reflection
  ☆120Updated last year
• zou-group / sirius
  SiriuS: Self-improving Multi-agent Systems via Bootstrapped Reasoning
  ☆53Updated last month
• agiresearch / CoRE
  LLM as Interpreter for Natural Language Programming, Pseudo-code Programming and Flow Programming of AI Agents
  ☆39Updated 9 months ago
• zhudotexe / redel
  ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)
  ☆76Updated last month