Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
☆140Jun 17, 2024Updated 2 years ago
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:
- Contextualized Logic☆13Jun 8, 2024Updated 2 years ago
- A tool to connect SMT-based frontends to Lean4.☆21Oct 21, 2026Updated last week
- LTL2PDDL tool☆14Jul 7, 2017Updated 9 years ago
- LLM as Interpreter for Natural Language Programming, Pseudo-code Programming and Flow Programming of AI Agents☆48Jul 24, 2024Updated 2 years ago
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Sep 8, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- OpenAGI: When LLM Meets Domain Experts☆2,289Nov 28, 2024Updated last year
- Demonstration Agents for AIOS☆19Dec 25, 2024Updated last year
- TrustAgent: Towards Safe and Trustworthy LLM-based Agents☆62Feb 7, 2025Updated last year
- ☆12Sep 23, 2023Updated 3 years ago
- ☆15Feb 6, 2021Updated 5 years ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆17May 7, 2024Updated 2 years ago
- Leveraging DSPy for AI-driven task understanding and solution generation, the Self-Discover Framework automates problem-solving through r…☆74Nov 4, 2025Updated 11 months ago
- ☆23Oct 22, 2025Updated last year
- A seamless matchmaking application that is programmed with Cohere Command R+, Stanford NLP DSPy framework, Weaviate Vector store and Crew…☆59Apr 20, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- entropix style sampling + GUI☆27Oct 30, 2024Updated 2 years ago
- ☆317Mar 26, 2024Updated 2 years ago
- Language is All a Graph Needs☆274Mar 13, 2025Updated last year
- [ACL'25] We propose a novel fine-tuning method, Separate Memory and Reasoning, which combines prompt tuning with LoRA.☆88Nov 2, 2025Updated 11 months ago
- A package for compositional system analysis and design☆36Aug 16, 2026Updated 2 months ago
- Reactive DDD with DSPy☆23Feb 24, 2024Updated 2 years ago
- 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
- [ICML 2024] LLMCompiler: An LLM Compiler for Parallel Function Calling☆1,900Jul 10, 2024Updated 2 years ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆14Nov 2, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The official repo for "LLoCo: Learning Long Contexts Offline"☆118Jun 15, 2024Updated 2 years ago
- In-Context Alignment: Chat with Vanilla Language Models Before Fine-Tuning☆34Aug 9, 2023Updated 3 years ago
- ☆15Jan 17, 2024Updated 2 years ago
- Repo of "Large Language Model-based Human-Agent Collaboration for Complex Task Solving(EMNLP2024 Findings)"☆34Sep 20, 2024Updated 2 years ago
- A text-to-SQL prototype on the northwind sqlite dataset☆13Sep 24, 2024Updated 2 years ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆105Sep 17, 2025Updated last year
- ☆105Dec 6, 2024Updated last year
- ☆11May 24, 2024Updated 2 years ago
- 🌾 Universal, customizable and deployable fine-grained evaluation for text generation.☆25Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Dec 23, 2023Updated 2 years ago
- ☆18Sep 5, 2024Updated 2 years ago
- ☆25Dec 13, 2024Updated last year
- EmojiCrypt: Prompt Encryption for Secure Communication with Large Language Models☆27Feb 21, 2024Updated 2 years ago
- This project provides a set of translators to convert OpenAI Gym environments into text-based environments. It is designed to investigate…☆22May 29, 2024Updated 2 years ago
- ☆19Dec 21, 2020Updated 5 years ago
- ☆23Sep 2, 2025Updated last year