APA (7th ed.) Citation

Jingyuan, L. (2025). From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem.

Chicago Style (17th ed.) Citation

Jingyuan, Li. From Axioms to Algorithms: Mechanized Proofs of the VNM Utility Theorem. 2025.

MLA (9th ed.) Citation

Jingyuan, Li. From Axioms to Algorithms: Mechanized Proofs of the VNM Utility Theorem. 2025.

Warning: These citations may not always be 100% accurate.