Hacker News new | ask | show | jobs
by vatsachak 22 days ago
Yeah, but I wouldn't be surprised if they train the model on verification assisted by Lean