Lean 4 Implementation of vNM Theorem
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/jingyuanli-hk/vNM-Theorem-pub
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了实现冯·诺伊曼-摩根斯坦预期效用定理的Lean 4形式化代码，重点在于验证理性选择公理。此外，该代码支持与特定偏好结构直接计算，并包含了满足理性选择公理的验证算法。该任务旨在计算验证公理以及基于效用的偏好。
This dataset contains Lean 4 formalized code implementing the von Neumann-Morgenstern expected utility theorem, with a primary focus on verifying rational choice axioms. Additionally, the code supports direct computation over specific preference structures and includes verification algorithms for validating compliance with rational choice axioms. This work aims to compute and validate the axioms as well as utility-based preferences.
提供机构：
Jingyuan Li and collaborators
