DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper • 2405.14333 • Published • 48
Jayoo Hwang
jayoohwang
AI & ML interests
None yet
Recent Activity
published a dataset about 2 months ago
jayoohwang/ebrowse-v1.1-online-mind2web-subset updated a dataset about 2 months ago
jayoohwang/ebrowse-v1.1-online-mind2web-subset updated a model 3 months ago
jayoohwang/alphamath_round2Organizations
None yet
upvoted a paper over 2 years ago