Amit, N. (2024) “Models That Prove Their Own Correctness”, SuperIntelligence - Robotics - Safety & Alignment, 1(1). doi: 10.70777/si.v1i1.10867.