DeepSeek has released DeepSeek-Prover-V2, a new open-source large language model specifically designed for formal theorem proving in Lean 4. The model builds on a recursive theorem proving pipeline ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results