DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic dataarxiv.org186 pointshhs2 years ago