Alternatives and similar repositories for Formal-LLM:

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

• wang-research-lab / agentinstruct
  Code repo for "Agent Instructs Large Language Models to be General Zero-Shot Reasoners"
  ☆101Updated 5 months ago
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆245Updated last month
• rhyang2021 / SELFGOAL
  Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".
  ☆66Updated 8 months ago
• Arvid-pku / Godel_Agent
  Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement
  ☆76Updated 2 weeks ago
• Yu-Fangxu / FoR
  Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples
  ☆74Updated last month
• microsoft / simulated-trial-and-error
  ☆120Updated 8 months ago
• agiresearch / CoRE
  LLM as Interpreter for Natural Language Programming, Pseudo-code Programming and Flow Programming of AI Agents
  ☆36Updated 7 months ago
• DeepSoftwareAnalytics / Awesome-Agent4SE
  ☆87Updated 5 months ago
• agentification / RAFA_code
  ☆141Updated 10 months ago
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆163Updated 3 weeks ago
• allenai / clin
  ☆81Updated last year
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆140Updated last year
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆74Updated last year
• aymeric-roucher / agent_reasoning_benchmark
  🔧 Compare how Agent systems perform on several benchmarks. 📊🚀
  ☆80Updated 4 months ago
• NL2Code / CodeR
  ☆155Updated 6 months ago
• ozyyshr / RepoGraph
  Enhancing AI Software Engineering with Repository-level Code Graph
  ☆136Updated last month
• Anni-Zou / Meta-CoT
  Meta-CoT: Generalizable Chain-of-Thought Prompting in Mixed-task Scenarios with Large Language Models
  ☆95Updated last year
• InternLM / SWE-Fixer
  ☆76Updated 2 weeks ago
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆209Updated 10 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆283Updated 9 months ago
• Xalp / ECHO
  Official homepage for "Self-Harmonized Chain of Thought" (NAACL 2025)
  ☆91Updated last month
• SalesforceAIResearch / LaTRO
  ☆109Updated last week
• FSoft-AI4Code / RepoHyper
  [FORGE 2025] Graph-based method for end-to-end code completion with context awareness on repository
  ☆57Updated 6 months ago
• camel-ai / crab
  🦀️ CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents. https://crab.camel-ai.org/
  ☆215Updated 3 months ago
• Mihaiii / llm_steer
  Steer LLM outputs towards a certain topic/subject and enhance response capabilities using activation engineering by adding steering vecto…
  ☆225Updated 2 weeks ago
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆97Updated last year
• siyuyuan / evoagent
  Resources for our paper: "EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms"
  ☆84Updated 4 months ago
• asappresearch / webagents-step
  ☆39Updated 7 months ago