Models That Prove Their Own Correctness

4 points| laybak | 1 year ago |arxiv.org