Amit, N. et al. 2024. Models That Prove Their Own Correctness. SuperIntelligence - Robotics - Safety & Alignment. 1, 1 (Sep. 2024). DOI:https://doi.org/10.70777/si.v1i1.10867.