TY  - RPRT
TI  - Models That Prove Their Own Correctness
AU  - Noga Amit
AU  - Shafi Goldwasser
AU  - Orr Paradise
AU  - Guy Rothblum
PY  - 2025
UR  - https://arxiv.org/abs/2405.15722
ID  - 2405.15722
ER  -