DeepSeek-Prover
ModelFirst open DeepSeek model for formal theorem proving in Lean 4.
- Jun 1, 2024
- —
- —
- Yes
- —
- 1
Releases
Jun 1, 2024DeepSeek-Prover open model releasedOpen weights
DeepSeek published its first open theorem-proving model for Lean 4.
First open DeepSeek model for formal theorem proving in Lean 4.
DeepSeek published its first open theorem-proving model for Lean 4.