@misc{indiciae57f1984f02e3,
  title = {Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving},
  author = {Devakh Rashie and Veda Rashi},
  year = {2026},
  url = {https://arxiv.org/abs/2604.01483},
  note = {Source identifier: 2604.01483}
}