Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
arxiv.org
186 points
hhs
2 years ago
54 comments
Loading...
DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data | Heykuki News