Amit N, Goldwasser S, Paradise O, Rothblum GN. Models That Prove Their Own Correctness. SI [Internet]. 2024 Sep. 23 [cited 2026 May 19];1(1). Available from: https://s-rsa.com/index.php/agi/article/view/10867