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