Citazione Stile APA (7a Edizione)

Uluşan, Z. A., Akbudak, B. S., Erer, C. S., & Şahin, G. G. (2026). FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models.

Citazione stile Chigago Style (17a edizione)

Uluşan, Zeynel A., Burak S. Akbudak, Can S. Erer, e Gözde Gül Şahin. FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models. 2026.

Citatione MLA (9a ed.)

Uluşan, Zeynel A., et al. FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models. 2026.