@misc{indiciaeaab2e746a86d,
  title = {FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models},
  author = {Zeynel A. Uluşan and Burak S. Akbudak and Can S. Erer and Gözde Gül Şahin},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10141},
  note = {Source identifier: 2605.10141}
}