Learn Before
Engineering Deterministic Runtimes and Verification for Autonomous Agents @ University of Michigan - Ann Arbor
Learners examine the critical operational failure modes of autonomous agents, focusing on control-signal dilution and mutable-state ambiguity during long-horizon tasks. You will develop rigorous verification typologies and formal transition protocols to establish enforceable runtime contracts and reliable phase boundaries. Additionally, you will master per-run state persistence, recovery workflows, and automated stop hooks to engineer resilient, deterministic agent harnesses.
0
1
Tags
Prep Sessions
Related
Transformer Architecture and Large Language Model Capabilities @ University of Michigan - Ann Arbor
Foundational Deep Learning Architectures: Transformers and Residual Networks @ University of Michigan - Ann Arbor
Edge-Native Mixture-of-Experts Serving with FreeToken @ University of Michigan - Ann Arbor
The Architecture of Connected Systems: Tracing End-to-End Data Flow @ University of Michigan - Ann Arbor
Overcoming Neural Network Degradation Through Residual Learning @ University of Michigan - Ann Arbor
Frontier Model Dynamics: Scaling Laws, Calibration, and Post-Training Alignment @ University of Michigan - Ann Arbor
Frontier Foundation Models, Capability Evaluation, and Just-In-Time Agent Harnesses @ University of Michigan - Ann Arbor
Engineering State-Bound Execution Runtimes for Autonomous Agents @ University of Michigan - Ann Arbor
The Aqueous Continuum: Biomolecular Solvation and Planetary Dynamics @ Honor
Network Architecture and Packet Flow: Inside Modern Communication Systems @ University of Michigan - Ann Arbor
Long-Horizon Agent Reliability: Stateful Scaffolding and Runtime Verification @ University of Michigan - Ann Arbor
Evidence Before Action — AI Tutor Demo @ Honor
AI Agent Oversight: Scoping, Output Interrogation, and Decision Control @ Honor
AI Agent Oversight: Task Delegation, Output Auditing, and Accountability @ Honor
Supervising AI Agents: Decision Rights, Verification, and Accountability @ Honor
Engineering Deterministic Runtimes and Verification for Autonomous Agents @ University of Michigan - Ann Arbor
Learn After
Ch.1 Operational Reliability and Verification - Engineering Deterministic Runtimes and Verification for Autonomous Agents @ University of Michigan - Ann Arbor
StateM-harness-scaling.pdf
Ch.2 Runtime Lifecycle and State Management - Engineering Deterministic Runtimes and Verification for Autonomous Agents @ University of Michigan - Ann Arbor