Alternatives and similar repositories for Formal-LLM:

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

• NL2Code / CodeR
  ☆154Updated 7 months ago
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆167Updated last month
• shunzh / Code-AI-Tree-Search
  ☆115Updated 8 months ago
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆102Updated 3 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents [NeurIPS 2024 Oral]
  ☆300Updated 10 months ago
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆253Updated 2 months ago
• allenai / clin
  ☆81Updated last year
• ryoungj / ToolEmu
  [ICLR'24 Spotlight] A language model (LM)-based emulation framework for identifying the risks of LM agents with tool use
  ☆137Updated last year
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆75Updated last year
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆98Updated last year
• r2e-project / r2e
  r2e: turn any github repository into a programming agent environment
  ☆108Updated last month
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆141Updated last year
• Yu-Fangxu / FoR
  Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples
  ☆83Updated 2 weeks ago
• salesforce / BOLAA
  ☆177Updated 2 months ago
• allenai / CommonGen-Eval
  Evaluating LLMs with CommonGen-Lite
  ☆89Updated last year
• SALT-NLP / DyLAN
  Official Implementation of Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization
  ☆135Updated 10 months ago
• AlexCuadron / ThinkingAgent
  Systematic evaluation framework that automatically rates overthinking behavior in large language models.
  ☆84Updated last week
• LLM360 / Analysis360
  Open Implementations of LLM Analyses
  ☆102Updated 6 months ago
• LLM360 / crystalcoder-data-prep
  Data preparation code for CrystalCoder 7B LLM
  ☆44Updated 10 months ago
• princeton-nlp / intercode
  [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898
  ☆212Updated 11 months ago
• asappresearch / webagents-step
  ☆39Updated 8 months ago
• ConsequentAI / fneval
  Functional Benchmarks and the Reasoning Gap
  ☆84Updated 6 months ago
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆107Updated 5 months ago
• microsoft / simulated-trial-and-error
  ☆121Updated 10 months ago
• Ablustrund / APPS_Plus
  StepCoder: Improve Code Generation with Reinforcement Learning from Compiler Feedback
  ☆64Updated 7 months ago
• InternLM / SWE-Fixer
  ☆81Updated last month
• kyegomez / Lets-Verify-Step-by-Step
  "Improving Mathematical Reasoning with Process Supervision" by OPENAI
  ☆108Updated last month
• YerbaPage / MGDebugger
  From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging
  ☆72Updated 2 weeks ago
• ozyyshr / RepoGraph
  Enhancing AI Software Engineering with Repository-level Code Graph
  ☆151Updated last week
• SalesforceAIResearch / LaTRO
  ☆111Updated last month