TY  - RPRT
TI  - Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
AU  - Devakh Rashie
AU  - Veda Rashi
PY  - 2026
UR  - https://arxiv.org/abs/2604.01483
ID  - 2604.01483
ER  -