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

(charleshuang.me) by charles6huang | Nov 10, 2026 | 0 comments on HN