Petrov, I., Dekoninck, J., Dimitrov, D. I., & Vechev, M. (2026). Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness.
Citazione stile Chigago Style (17a edizione)Petrov, Ivo, Jasper Dekoninck, Dimitar I. Dimitrov, e Martin Vechev. Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness. 2026.
Citatione MLA (9a ed.)Petrov, Ivo, et al. Not All Proofs Are Equal: Evaluating LLM Proof Quality Beyond Correctness. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.