Entity
DeepSeek-Prover
A DeepSeek model designed for theorem proving, trained on large-scale synthetic data.
术语属性
- Model Type：Specialized Model
- Focus：Theorem Proving
- Training Data：Large-scale synthetic data
- Upgraded Version：V1.5 (with RL & MCTS optimization)