arXivML & AI Methods
From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem
The von Neumann-Morgenstern expected utility theorem has been thoroughly formalized using the Lean 4 interactive theorem prover, offering a solid base for applications in economic modeling, AI alignment, and management decision systems.
Featured in No. 101 on 11 Jun 2025 · 3 days after release · 0 citations today
- Released
- 8 Jun 2025
- First featured
- No. 101 · 11 Jun 2025
- Citations (Semantic Scholar)
- 0
- Influential citations
- 0
- Published in
- Not yet, as far as Semantic Scholar knows
- Shares when featured
- 6
- Identifier
- arXiv:2506.07066
Citations and venue from Semantic Scholar (ODC-BY), refreshed weekly. Summary: Quant Letter (CC BY 4.0).