StochBench

首个专门针对随机过程领域的Lean 4形式化证明基准测试集，包含450道研究生级别的随机过程问题，涵盖马尔可夫过程、测度论等核心主题