Show HN: TheoremSmith: Mass-Producing Hard Proof Problems to Train LLMs
TheoremSmith is a project that generates difficult problem sets to train large language models (LLMs).
Hacker News submitter: charles6huang
Submitted to Hacker News:
TheoremSmith is a project that generates difficult problem sets to train large language models (LLMs).
Hacker News submitter: charles6huang
Submitted to Hacker News: