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:
- ☆86Updated last year
- ☆159Updated last year
- ☆99Updated 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…☆78Updated 8 months ago
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆185Updated 2 weeks ago
- ☆41Updated last year
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆97Updated last year
- ☆124Updated last year
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆182Updated 6 months ago
- WebLINX is a benchmark for building web navigation agents with conversational capabilities☆157Updated 7 months ago
- Mixing Language Models with Self-Verification and Meta-Verification☆110Updated 9 months ago
- Implementation of the paper: "AssistantBench: Can Web Agents Solve Realistic and Time-Consuming Tasks?"☆61Updated 9 months ago
- accompanying material for sleep-time compute paper☆108Updated 4 months ago
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆89Updated last year
- LILO: Library Induction with Language Observations☆88Updated last year
- ☆144Updated last year
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆89Updated 11 months ago
- 🔔🧠 Easily experiment with popular language agents across diverse reasoning/decision-making benchmarks!☆54Updated 2 months ago
- LLM reads a paper and produce a working prototype☆57Updated 5 months ago
- An implemtation of Everyting of Thoughts (XoT).☆148Updated last year
- 🔧 Compare how Agent systems perform on several benchmarks. 📊🚀☆101Updated last month
- 🧠 Societies of Mind & Economy of Minds☆64Updated 6 months ago
- Repository for the paper Stream of Search: Learning to Search in Language☆150Updated 7 months ago
- Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".☆69Updated last year
- ☆122Updated last year
- A codebase for "Language Models can Solve Computer Tasks"☆234Updated last year
- Interaction-first method for generating demonstrations for web-agents on any website☆48Updated 4 months ago
- ☆183Updated 7 months ago
- ☆122Updated 6 months ago
- ☆56Updated 2 months ago