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