Lean 4 formalization of a four-state output classification for AI verification claims. Companion to the 2026 bounded-uncertainty paper (DOI 10.5281/zenodo.21341445).
rust machine-learning artificial-intelligence formal-verification software-architecture ai-safety systems-engineering ai-agents lean4 ai-compliance ai-evaluation large-language-models ai-governance llm-deployment eu-ai-act ai-red-teaming ai-risk-management technical-due-diligence model-behavior-testing ai-vendor-assessment
-
Updated
Jul 15, 2026 - Lean