AMIT, Noga; GOLDWASSER, Shafi; PARADISE, Orr; ROTHBLUM, Guy N. Models That Prove Their Own Correctness. SuperIntelligence - Robotics - Safety & Alignment, [S. l.], v. 1, n. 1, 2024. DOI: 10.70777/si.v1i1.10867. Disponível em: https://s-rsa.com/index.php/agi/article/view/10867. Acesso em: 19 may. 2026.