Amit, N. et al. 2024. Models That Prove Their Own Correctness. AGI - Artificial General Intelligence - Robotics - Safety & Alignment. 1, 1 (Sep. 2024).