Amit, Noga, Shafi Goldwasser, Orr Paradise, and Guy N. Rothblum. 2024. “Models That Prove Their Own Correctness”. SuperIntelligence - Robotics - Safety & Alignment 1 (1). https://doi.org/10.70777/si.v1i1.10867.