Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Paper • 2604.01483 • Published • 5
Devakh Rashie
arkanemystic
AI & ML interests
None yet
Recent Activity
submitted a paper 4 days ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving authored a paper 5 days ago
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem ProvingOrganizations
None yet
submitted a
paper to Daily Papers 4 days ago