Cita APA (7a ed.)

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.