Citazione Stile APA (7a Edizione)

Naik, A., Shabadi, G., Alur, R., & Naik, M. (2026). Do We Need Frontier Models to Verify Mathematical Proofs?

Citazione stile Chigago Style (17a edizione)

Naik, Aaditya, Guruprerana Shabadi, Rajeev Alur, e Mayur Naik. Do We Need Frontier Models to Verify Mathematical Proofs? 2026.

Citatione MLA (9a ed.)

Naik, Aaditya, et al. Do We Need Frontier Models to Verify Mathematical Proofs? 2026.