agiresearch / Formal-LLMLinks
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆127Updated last year
Alternatives and similar repositories for Formal-LLM
Users that are interested in Formal-LLM are comparing it to the libraries listed below
Sorting:
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆79Updated 10 months ago
- ☆86Updated last year
- ☆101Updated last year
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆98Updated 2 years ago
- ☆125Updated last year
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆88Updated last year
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆187Updated last month
- WebLINX is a benchmark for building web navigation agents with conversational capabilities☆155Updated 8 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆109Updated 10 months ago
- 🔧 Compare how Agent systems perform on several benchmarks. 📊🚀☆102Updated 2 months ago
- ☆160Updated last year
- ☆186Updated 8 months ago
- ☆41Updated last year
- Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".☆69Updated last year
- An implemtation of Everyting of Thoughts (XoT).☆152Updated last year
- ☆136Updated last year
- ☆122Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- ☆117Updated 4 months ago
- ☆144Updated last year
- Beating the GAIA benchmark with Transformers Agents. 🚀☆138Updated 8 months ago
- Official homepage for "Self-Harmonized Chain of Thought" (NAACL 2025)☆91Updated 9 months ago
- ☆58Updated 3 months ago
- [ICLR 2024] Skeleton-of-Thought: Prompting LLMs for Efficient Parallel Generation☆176Updated last year
- Code for the paper 🌳 Tree Search for Language Model Agents☆217Updated last year
- Code repo for "Agent Instructs Large Language Models to be General Zero-Shot Reasoners"☆116Updated this week
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆187Updated 7 months ago
- 🔔🧠 Easily experiment with popular language agents across diverse reasoning/decision-making benchmarks!☆54Updated 3 months ago
- [ICLR 2025] A trinity of environments, tools, and benchmarks for general virtual agents☆218Updated 4 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆151Updated 8 months ago