Amit, N.; Goldwasser, S.; Paradise, O.; Rothblum, G. N. Models That Prove Their Own Correctness. AGI 2024, 1.