Tag #formal-methods 1 post tagged formal-methods. ← All topics monitoring A Lean 4 stability proof for tool-mediated LLM agents, and what it means for your runbook A new arXiv paper certifies controllability and ISS robustness for an LLM-driven SOC agent using Lean 4. The MLOps takeaway is simpler than the math: monitor the action catalog, not the model. May 6, 2026