HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
charles6huang
Show HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs
7 points
charles6huang
2026-11-10T18:33:17Z
charleshuang.me