@misc{indiciae8bdcbe2a6abd,
  title = {Expected Value Alignment for Generative Reward Modeling in Formal Mathematics Verification},
  author = {Shihao Ji and Haotao Tan and Zihui Song and Mingyu Li},
  year = {2026},
  url = {https://arxiv.org/abs/2606.01160},
  note = {Source identifier: 2606.01160}
}