Mochi is a small, statically typed programming language built for clarity, safety, and expressiveness — whether you're writing tools, processing real-time data, or powering intelligent agents. To run ...

This project attempts to formalize the process of using LLMs as template generators in a reliable, reproducible, and reviewable way. GraphMD proves you don't need AGI for effective AI assistance. You ...

Abstract: This letter focuses on a safety-critical solution to equality-constrained nonlinear programming, where the cost and the constraints vary continuously over time. To address this problem, we ...

Abstract: This study proposes LiP-LLM: integrating linear programming and dependency graph with large language models (LLMs) for multi-robot task planning. For multi-robots to efficiently perform ...