Model ReleasesDeepSeek releases DeepSeek-Prover, a specialized 7B open-source reasoning model designed to master theorem proving in Lean 4.about 2 years ago5 min read
