Amit, N., Goldwasser, S., Paradise, O., & Rothblum, G. N. (2024). Models That Prove Their Own Correctness. AGI - Artificial General Intelligence - Robotics - Safety & Alignment, 1(1). Retrieved from https://agi-rsa.com/index.php/agi/article/view/10867