Alternatives and similar repositories for Formal-LLM

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

• DeepSoftwareAnalytics / Awesome-Agent4SE
  ☆105Updated last year
• gabegrand / lilo
  LILO: Library Induction with Language Observations
  ☆90Updated last year
• NL2Code / CodeR
  ☆159Updated last year
• 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…
  ☆82Updated last year
• diagram-of-thought / diagram-of-thought
  Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
  ☆190Updated last week
• allenai / clin
  ☆86Updated 2 years ago
• aorwall / moatless-tree-search
  ☆128Updated 7 months ago
• Ag2S1 / Sibyl-System
  ☆125Updated last year
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆111Updated last year
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆99Updated 2 years ago
• microsoft / simulated-trial-and-error
  ☆122Updated last year
• asappresearch / webagents-step
  ☆41Updated last year
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆90Updated 2 years ago
• aymeric-roucher / agent_reasoning_benchmark
  🔧 Compare how Agent systems perform on several benchmarks. 📊🚀
  ☆102Updated 5 months ago
• casper-hansen / OpenCoconut
  OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.
  ☆174Updated 11 months ago
• SalesforceAIResearch / LaTRO
  ☆123Updated 10 months ago
• allenai / CommonGen-Eval
  Evaluating LLMs with CommonGen-Lite
  ☆93Updated last year
• McGill-NLP / weblinx
  WebLINX is a benchmark for building web navigation agents with conversational capabilities
  ☆156Updated 11 months ago
• phunterlau / paper_without_code
  LLM reads a paper and produce a working prototype
  ☆60Updated 9 months ago
• joshuacnf / Ctrl-G
  ☆105Updated last year
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆189Updated 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
  ☆96Updated 3 months ago
• YerbaPage / MGDebugger
  Multi-Granularity LLM Debugger [ICSE2026]
  ☆94Updated 6 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆155Updated last year
• LLM360 / crystalcoder-data-prep
  Data preparation code for CrystalCoder 7B LLM
  ☆45Updated last year
• LLM360 / crystalcoder-train
  Pre-training code for CrystalCoder 7B LLM
  ☆56Updated last year
• agentification / RAFA_code
  ☆144Updated last year
• InternLM / SWE-Fixer
  ☆130Updated 8 months ago
• oriyor / assistantbench
  Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"
  ☆65Updated last year
• LLM360 / Analysis360
  Open Implementations of LLM Analyses
  ☆107Updated last year