Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense

O artigo apresenta uma arquitetura de LLM mediada por ferramentas para defesa cibernética autônoma, desenvolvida para oferecer garantias formais em decisões de alto risco sob pressão adversária. Ela certifica a controlabilidade, observabilidade e robustez de Estabilidade de Entrada-Estado (ISS) através de uma função de Lyapunov verificada por máquina, demonstrando sua eficácia em grafos de ataque empresariais reais.