← Back to context

Comment by vatsachak

3 hours ago

Yeah, but I wouldn't be surprised if they train the model on verification assisted by Lean

0 comments

vatsachak

Reply

No comments yet

Contribute on Hacker News ↗