Amit, N., Goldwasser, S., Paradise, O., & Rothblum, G. (2024). Models That Prove Their Own Correctness.
Cita Chicago Style (17a ed.)Amit, Noga, Shafi Goldwasser, Orr Paradise, y Guy Rothblum. Models That Prove Their Own Correctness. 2024.
Cita MLA (9a ed.)Amit, Noga, et al. Models That Prove Their Own Correctness. 2024.
Precaución: Estas citas no son 100% exactas.