agiresearch / Formal-LLMLinks
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆128Updated 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:
- 🔧 Compare how Agent systems perform on several benchmarks. 📊🚀☆102Updated last month
- ☆86Updated last year
- ☆100Updated last year
- A library for benchmarking the Long Term Memory and Continual learning capabilities of LLM based agents. With all the tests and code you…☆79Updated 9 months ago
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆187Updated last month
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆99Updated last year
- An implemtation of Everyting of Thoughts (XoT).☆150Updated last year
- ☆125Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- Mixing Language Models with Self-Verification and Meta-Verification☆110Updated 9 months ago
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆88Updated last year
- WebLINX is a benchmark for building web navigation agents with conversational capabilities☆158Updated 7 months ago
- ☆122Updated last year
- ☆186Updated 8 months ago
- ☆160Updated last year
- ☆113Updated 3 months ago
- [ICLR 2024] Skeleton-of-Thought: Prompting LLMs for Efficient Parallel Generation☆176Updated last year
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆184Updated 6 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
- Beating the GAIA benchmark with Transformers Agents. 🚀☆136Updated 7 months ago
- ☆144Updated last year
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆89Updated this week
- Evaluating LLMs with CommonGen-Lite☆91Updated last year
- Systematic evaluation framework that automatically rates overthinking behavior in large language models.☆93Updated 4 months ago
- accompanying material for sleep-time compute paper☆115Updated 5 months ago
- Multi-Granularity LLM Debugger☆90Updated 2 months ago
- Automating enterprise workflows with multimodal agents☆111Updated 11 months ago
- Implementation of Google's SELF-DISCOVER☆299Updated last year
- OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.☆172Updated 8 months ago