Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Paper • 2604.01483 • Published • 1
Devakh Rashie
arkanemystic
AI & ML interests
None yet
Recent Activity
published a Space 5 months ago
arkanemystic/InsurAIOrganizations
None yet