サイバー防衛 LLM エージェントの安定性を Lean 4 で形式証明──攻撃者の利得を 59% 削減
決定論的ツールと有限アクションカタログを介した制御アーキテクチャにより、LLM の非決定性を排除しつつ ISS 堅牢性を保証。（原題: Stable Agentic Control: Tool-Mediated LLM Architecture for Autonomous Cyber Defense）