TY  - RPRT
TI  - Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification
AU  - Shihao Ji
AU  - Haotao Tan
AU  - Zihui Song
AU  - Mingyu Li
PY  - 2026
UR  - https://arxiv.org/abs/2606.01160
ID  - 2606.01160
ER  -