agiresearch / Formal-LLM
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆111Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for Formal-LLM
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆72Updated 10 months ago
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆128Updated last month
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆92Updated last year
- ☆103Updated 3 months ago
- A re-implementation of Meta-Prompt in LangChain for building self-improving agents.☆60Updated last year
- ☆171Updated 7 months ago
- AWM: Agent Workflow Memory☆210Updated last month
- ☆153Updated 2 months ago
- Resources for our paper: "EvoAgent: Towards Automatic Multi-Agent Generation via Evolutionary Algorithms"☆75Updated last month
- ☆38Updated 4 months ago
- The code for the paper ROUTERBENCH: A Benchmark for Multi-LLM Routing System☆93Updated 5 months ago
- CRAB: Cross-environment Agent Benchmark for Multimodal Language Model Agents. https://crab.camel-ai.org/☆192Updated last week
- Pre-training code for CrystalCoder 7B LLM☆53Updated 6 months ago
- Functional Benchmarks and the Reasoning Gap☆78Updated last month
- ☆78Updated 11 months ago
- Data preparation code for CrystalCoder 7B LLM☆42Updated 6 months ago
- An Analytical Evaluation Board of Multi-turn LLM Agents☆250Updated 6 months ago
- ReDel is a toolkit for researchers and developers to build, iterate on, and analyze recursive multi-agent systems. (EMNLP 2024 Demo)☆65Updated this week
- LLM reads a paper and produce a working prototype☆36Updated 2 weeks ago
- Gödel Agent: A Self-Referential Agent Framework for Recursive Self-Improvement☆47Updated 3 weeks ago
- An implemtation of Everyting of Thoughts (XoT).☆133Updated 9 months ago
- ☆66Updated 2 months ago
- Beating the GAIA benchmark with Transformers Agents. 🚀☆63Updated 3 weeks ago
- [NeurIPS 2023 D&B] Code repository for InterCode benchmark https://arxiv.org/abs/2306.14898☆194Updated 6 months ago
- Code for the paper 🌳 Tree Search for Language Model Agents☆140Updated 3 months ago
- Evaluating LLMs with CommonGen-Lite☆85Updated 8 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆97Updated last year
- ☆37Updated this week
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆63Updated last month
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆57Updated 4 months ago