Alternatives and similar repositories for Formal-LLM:

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

• allenai / clin
  ☆81Updated last year
• asappresearch / webagents-step
  ☆38Updated 6 months ago
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆74Updated last year
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆95Updated last year
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆156Updated 3 months ago
• allenai / CommonGen-Eval
  Evaluating LLMs with CommonGen-Lite
  ☆88Updated 10 months ago
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆100Updated last month
• SalesforceAIResearch / LaTRO
  ☆98Updated last week
• teknium1 / LLM-Benchmark-Logs
  Just a bunch of benchmark logs for different LLMs
  ☆117Updated 6 months ago
• Yu-Fangxu / FoR
  Flow of Reasoning: Training LLMs for Divergent Problem Solving with Minimal Examples
  ☆58Updated last week
• expz / quiet-star
  Implementation of the Quiet-STAR paper (https://arxiv.org/pdf/2403.09629.pdf)
  ☆50Updated 5 months ago
• microsoft / simulated-trial-and-error
  ☆120Updated 7 months ago
• hkust-nlp / AgentBoard
  An Analytical Evaluation Board of Multi-turn LLM Agents
  ☆272Updated 8 months ago
• Arvid-pku / Godel_Agent
  Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement
  ☆70Updated last week
• SWE-Gym / SWE-Gym
  Code for Paper: Training Software Engineering Agents and Verifiers with SWE-Gym
  ☆251Updated 2 weeks ago
• agentification / RAFA_code
  ☆140Updated 8 months ago
• camel-ai / crab
  CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents. https://crab.camel-ai.org/
  ☆210Updated 2 months ago
• NL2Code / CodeR
  ☆153Updated 5 months ago
• aymeric-roucher / GAIA
  Beating the GAIA benchmark with Transformers Agents. 🚀
  ☆78Updated 3 months ago
• mbchang / meta-prompt
  A re-implementation of Meta-Prompt in LangChain for building self-improving agents.
  ☆63Updated last year
• McGill-NLP / weblinx
  WebLINX is a benchmark for building web navigation agents with conversational capabilities
  ☆134Updated last month
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆139Updated 11 months ago
• wang-research-lab / agentinstruct
  Code repo for "Agent Instructs Large Language Models to be General Zero-Shot Reasoners"
  ☆98Updated 4 months ago
• Ag2S1 / Sibyl-System
  ☆111Updated 5 months ago
• google-deepmind / pix2act
  ☆52Updated last year
• jwhj / OREO
  ☆87Updated last week
• microsoft / stop
  Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generation
  ☆38Updated last year
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆233Updated 2 months ago
• aorwall / moatless-tree-search
  ☆56Updated last week
• CogNLP / CogAGENT
  ☆35Updated last year