Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆135Jun 17, 2024Updated last year
Alternatives and similar repositories for Formal-LLM
Users that are interested in Formal-LLM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- BUD-E (Buddy) is an open-source voice assistant framework that facilitates seamless interaction with AI models and APIs, enabling the cre…☆24Oct 10, 2024Updated last year
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 2024Updated last year
- Framework to transform natural language into formal language (Temporal Logics).☆42Apr 2, 2024Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- This repository contains the ToolSelect dataset which was used to fine-tune Llama-2 70B for tool selection.☆22Mar 11, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Radiantloom Email Assist 7B is an email-assistant large language model fine-tuned from Zephyr-7B-Beta, over a custom-curated dataset of 1…☆14Jan 19, 2024Updated 2 years ago
- A seamless matchmaking application that is programmed with Cohere Command R+, Stanford NLP DSPy framework, Weaviate Vector store and Crew…☆59Apr 20, 2024Updated last year
- OpenAGI: When LLM Meets Domain Experts☆2,254Nov 28, 2024Updated last year
- ☆318Mar 26, 2024Updated 2 years ago
- The official code for Dropping Backward Propagation (DropBP)☆32Oct 29, 2024Updated last year
- Demonstration Agents for AIOS☆16Dec 25, 2024Updated last year
- ☆18Sep 5, 2024Updated last year
- This project provides a set of translators to convert OpenAI Gym environments into text-based environments. It is designed to investigate…☆21May 29, 2024Updated last year
- ☆80Mar 24, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- [ICML 2024] LLMCompiler: An LLM Compiler for Parallel Function Calling☆1,835Jul 10, 2024Updated last year
- ☆105Dec 6, 2024Updated last year
- 🌾 Universal, customizable and deployable fine-grained evaluation for text generation.☆24Oct 26, 2023Updated 2 years ago
- ARCLab-MIT participation in the KSPDG challenge☆27Feb 24, 2025Updated last year
- AIOS: AI Agent Operating System☆5,461Jan 22, 2026Updated 2 months ago
- [ACL'24] Code and data of paper "When is Tree Search Useful for LLM Planning? It Depends on the Discriminator"☆54Feb 23, 2024Updated 2 years ago
- Implementations of safe reinforcement learning algorithms☆29Mar 1, 2024Updated 2 years ago
- ScrapeGPT is a RAG-based Telegram bot designed to scrape and analyze websites, then answer questions based on the scraped content. The bo…☆87Feb 17, 2024Updated 2 years ago
- 😎 Awesome list of tools and projects with the awesome LangChain framework☆19Oct 17, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10May 30, 2025Updated 10 months ago
- Current Alpha version of the ONTO-TRON-5000☆40Dec 1, 2025Updated 4 months ago
- Companion code to https://arxiv.org/abs/2402.15491☆22Sep 18, 2025Updated 6 months ago
- AWM: Agent Workflow Memory☆415Dec 22, 2025Updated 3 months ago
- ☆16Oct 4, 2024Updated last year
- Self-Alignment with Principle-Following Reward Models☆170Sep 18, 2025Updated 6 months ago
- Web-grounded natural language instructions☆18Nov 25, 2024Updated last year
- UnitEval is a benchmarking and evaluation tools for AutoDev Coder.☆14Jan 2, 2024Updated 2 years ago
- Code Interpreter Replica☆26Jul 14, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Self Organizing Maps (SOM) ML model can be used to conduct semantic search to populate context required for Retrieval Augmented Generatio…☆15Mar 16, 2024Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Language is All a Graph Needs☆268Mar 13, 2025Updated last year
- What Would Portland Do? Generative agent experience☆13Mar 13, 2024Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- 📜Neural Text Simplification to Improve Chatbot Performance☆12Jul 20, 2018Updated 7 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago