Introducing #DeepSeekProverV2 - a new #opensource #LLM designed for formal theorem proving in Lean 4.
The model builds on a recursive #TheoremProving pipeline powered by the company's DeepSeek-V3 foundation model.
Learn more: bit.ly/3YHqBGs
#InfoQ #GenerativeAI
2
0
0
0
