Deying Yu
2 papers · Latest:
Software Engineering
Protocol-Driven Development: Governing Generated Software Through Invariants and Evidence
Protocol-Driven Development (PDD) governs generated software by using machine-enforceable protocols, invariants, and verifiable evidence chains.
2605.12981
Cryptography & SecuritySovereign Agentic Loops: Decoupling AI Reasoning from Execution in Real-World Systems
Sovereign Agentic Loops (SAL) decouple AI reasoning from execution, validating LLM intents against system state and policy to enhance safety.
2604.22136
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.