Show HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs

10 pointsposted a day ago
by charles6huang
(charleshuang.me)

No comments yet