HN
New
Show
Ask
Jobs
Built with Astro
Show HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs
(charleshuang.me)
10 points | by
charles6huang
5 days ago ago
No comments yet.