Hacker News new | ask | show | jobs
Models That Prove Their Own Correctness (arxiv.org)
4 points by laybak 747 days ago