Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Y. Fang, S. Huang, X. Yu, H. Huang, Z. Zhang, W. Deng, F. Wei, F. Sun, Q. Zhang, and Z. Jin (2025)NL2Lean: translating natural language into lean 4 through multi-aspect reinforcement learning.InProceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP),Note:Accessed March 8, 2026External Links: Cite...