Amit, Noga, Shafi Goldwasser, Orr Paradise, and Guy N. Rothblum. “Models That Prove Their Own Correctness”. AGI - Artificial General Intelligence - Robotics - Safety & Alignment 1, no. 1 (September 23, 2024). Accessed October 18, 2024. https://agi-rsa.com/index.php/agi/article/view/10867.