Cite
Notes
Only stored in your browser.
Attribution
Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
arXiv 2026
from 1 papers
Devakh Rashie