Models That Prove Their Own Correctnessarxiv.org4 points·laybak··0 commentsOpen articleSaveView on HN