A arxiv.org DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data 186 points hhs 2 years ago 54 comments
