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

7 points | by charles6huang 5 hours ago