Uluşan, Z. A., Akbudak, B. S., Erer, C. S., & Şahin, G. G. (2026). FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models.
Cita Chicago Style (17a ed.)Uluşan, Zeynel A., Burak S. Akbudak, Can S. Erer, y Gözde Gül Şahin. FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models. 2026.
Cita MLA (9a ed.)Uluşan, Zeynel A., et al. FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models. 2026.
Precaución: Estas citas no son 100% exactas.