Models That Prove Their Own Correctness
arxiv.org