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 10 months ago
• GoodAI / goodai-ltm-benchmark
  A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…
  ☆72Updated 5 months ago
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆80Updated last year
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆173Updated 2 months ago
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆97Updated last year
• zbambergerNLP / strategic-debate-tot
  A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments
  ☆80Updated 8 months ago
• shunzh / Code-AI-Tree-Search
  ☆117Updated 10 months ago
• Yu-Fangxu / FoR
  [ICML 2025] Flow of Reasoning: Training LLMs for Divergent Reasoning with Minimal Examples
  ☆88Updated last week
• agentification / RAFA_code
  ☆142Updated last year
• kanishkg / stream-of-search
  Repository for the paper Stream of Search: Learning to Search in Language
  ☆146Updated 3 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆140Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆86Updated 9 months ago
• SalesforceAIResearch / LaTRO
  ☆114Updated 3 months ago
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆103Updated 5 months ago
• kyegomez / Lets-Verify-Step-by-Step
  "Improving Mathematical Reasoning with Process Supervision" by OPENAI
  ☆107Updated 2 weeks ago
• oriyor / assistantbench
  Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"
  ☆56Updated 5 months ago
• google-deepmind / pix2act
  ☆56Updated last year
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆219Updated last year
• rhyang2021 / SELFGOAL
  Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".
  ☆66Updated 11 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆320Updated last year
• microsoft / simulated-trial-and-error
  ☆121Updated 11 months ago
• Zyq-scut / RLTF
  Accepted by Transactions on Machine Learning Research (TMLR)
  ☆127Updated 7 months ago
• allenai / clin
  ☆82Updated last year
• DeepSoftwareAnalytics / Awesome-Agent4SE
  ☆93Updated 8 months ago
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆108Updated 7 months ago
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆271Updated 4 months ago
• Arvid-pku / Godel_Agent
  Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement
  ☆92Updated 3 months ago
• mbchang / meta-prompt
  A re-implementation of Meta-Prompt in LangChain for building self-improving agents.
  ☆63Updated 2 years ago
• aorwall / moatless-tree-search
  ☆83Updated last month
• phunterlau / paper_without_code
  LLM reads a paper and produce a working prototype
  ☆57Updated last month