Amit, Noga, et al. “Models That Prove Their Own Correctness”. SuperIntelligence - Robotics - Safety & Alignment, vol. 1, no. 1, Sept. 2024, doi:10.70777/si.v1i1.10867.