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

(charleshuang.me)

10 points | by charles6huang 11 hours ago ago

No comments yet.