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

10 points by charles6huang

Read the article

Discussion on Hacker News