N. Amit, S. Goldwasser, O. Paradise, and G. N. Rothblum, “Models That Prove Their Own Correctness”, AGI, vol. 1, no. 1, Sep. 2024.