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
  ☆96Updated 10 months ago
• McGill-NLP / weblinx
  WebLINX is a benchmark for building web navigation agents with conversational capabilities
  ☆156Updated 5 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…
  ☆76Updated 7 months ago
• NL2Code / CodeR
  ☆159Updated 11 months ago
• kyegomez / Algorithm-Of-Thoughts
  My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"
  ☆97Updated last year
• diagram-of-thought / diagram-of-thought
  Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)
  ☆184Updated 4 months ago
• aymeric-roucher / agent_reasoning_benchmark
  🔧 Compare how Agent systems perform on several benchmarks. 📊🚀
  ☆99Updated 9 months ago
• Ag2S1 / Sibyl-System
  ☆123Updated 11 months ago
• HazyResearch / eclair-agents
  Automating enterprise workflows with multimodal agents
  ☆108Updated 9 months ago
• zbambergerNLP / strategic-debate-tot
  A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments
  ☆87Updated 10 months ago
• imagination-research / sot
  [ICLR 2024] Skeleton-of-Thought: Prompting LLMs for Efficient Parallel Generation
  ☆173Updated last year
• ScalingIntelligence / Archon
  Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.
  ☆174Updated 4 months ago
• microsoft / Everything-of-Thoughts-XoT
  An implemtation of Everyting of Thoughts (XoT).
  ☆148Updated last year
• allenai / clin
  ☆83Updated last year
• microsoft / simulated-trial-and-error
  ☆121Updated last year
• rhyang2021 / SELFGOAL
  Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".
  ☆68Updated last year
• letta-ai / sleep-time-compute
  accompanying material for sleep-time compute paper
  ☆99Updated 3 months ago
• aorwall / moatless-tree-search
  ☆99Updated last month
• automix-llm / automix
  Mixing Language Models with Self-Verification and Meta-Verification
  ☆105Updated 7 months ago
• yueqis / API-Based-Agent
  ☆54Updated last month
• aymeric-roucher / GAIA
  Beating the GAIA benchmark with Transformers Agents. 🚀
  ☆131Updated 5 months ago
• archiki / ADaPT
  Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"
  ☆85Updated last year
• asappresearch / webagents-step
  ☆41Updated last year
• zorazrw / agent-workflow-memory
  AWM: Agent Workflow Memory
  ☆297Updated 6 months ago
• siyuyuan / evoagent
  Resources for our paper: "EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms"
  ☆118Updated 9 months ago
• Xalp / ECHO
  Official homepage for "Self-Harmonized Chain of Thought" (NAACL 2025)
  ☆91Updated 6 months ago
• agential-ai / agential
  🔔🧠 Easily experiment with popular language agents across diverse reasoning/decision-making benchmarks!
  ☆52Updated 3 weeks ago
• agentification / RAFA_code
  ☆143Updated last year
• posgnu / rci-agent
  A codebase for "Language Models can Solve Computer Tasks"
  ☆234Updated last year
• oriyor / assistantbench
  Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"
  ☆59Updated 7 months ago