Amit, N., Goldwasser, S., Paradise, O., & Rothblum, G. N. (2024). Models That Prove Their Own Correctness. SuperIntelligence - Robotics - Safety & Alignment, 1(1). https://doi.org/10.70777/si.v1i1.10867