SM
Starmorph News
new
show
ask
jobs
submit
DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
arxiv.org
184 points by
hhs
6 days ago
|
53 comments
add comment