FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models. - Zeynel A. Ulusan; Burak S. Akbudak; Can S. Erer; Gözde Gül Sahin (CoRR, 2026)