agiresearch / Formal-LLMLinks
Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆126Updated 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:
- ☆84Updated 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…☆76Updated 8 months ago
- My implementation of "Algorithm of Thoughts: Enhancing Exploration of Ideas in Large Language Models"☆97Updated last year
- Official implementation of paper "On the Diagram of Thought" (https://arxiv.org/abs/2409.10038)☆185Updated 4 months ago
- ☆124Updated last year
- ☆41Updated last year
- Archon provides a modular framework for combining different inference-time techniques and LMs with just a JSON config file.☆177Updated 5 months ago
- ☆105Updated 2 months ago
- ☆123Updated last year
- ☆97Updated 11 months ago
- 🔧 Compare how Agent systems perform on several benchmarks. 📊🚀☆100Updated 2 weeks ago
- A DSPy-based implementation of the tree of thoughts method (Yao et al., 2023) for generating persuasive arguments☆88Updated 10 months ago
- Complex question answering in LLMs with enhanced reasoning and information-seeking capabilities.☆202Updated last year
- accompanying material for sleep-time compute paper☆104Updated 3 months ago
- Source code for our paper: "SelfGoal: Your Language Agents Already Know How to Achieve High-level Goals".☆69Updated last year
- ☆143Updated last year
- ☆183Updated 6 months ago
- Automating enterprise workflows with multimodal agents☆108Updated 10 months ago
- WebLINX is a benchmark for building web navigation agents with conversational capabilities☆157Updated 6 months ago
- Official code for the paper "ADaPT: As-Needed Decomposition and Planning with Language Models"☆87Updated last year
- Mixing Language Models with Self-Verification and Meta-Verification☆105Updated 8 months ago
- ☆159Updated 11 months ago
- An implemtation of Everyting of Thoughts (XoT).☆148Updated last year
- [ICLR 2024] Skeleton-of-Thought: Prompting LLMs for Efficient Parallel Generation☆174Updated last year
- A codebase for "Language Models can Solve Computer Tasks"☆234Updated last year
- LILO: Library Induction with Language Observations☆88Updated 11 months ago
- Evaluating LLMs with CommonGen-Lite☆91Updated last year
- ☆59Updated 8 months ago
- Code repo for "Agent Instructs Large Language Models to be General Zero-Shot Reasoners"☆115Updated 11 months ago
- ☆131Updated 11 months ago