Deepseek Prover V1.5 SFT
DeepSeek develops Deepseek Prover V 1.5 SFT, a chat model exceling at reasoning and text generation, particularly in formal mathematical languages. It is notably trained using reinforcement learning from proof assistant feedback and employs a variant of Monte-Carlo tree search, achieving state-of-the-art results on the miniF2F and ProofNet benchmarks with scores of 63.5% and 25.3%, respectively.
Input
Output
Context
4K
Max Output
2K
Parameters
6.9B
Technical Specifications
Input Modalities
Output Modalities
Capabilities
Resources & Links
Estimated GPU Requirements for Deepseek Prover V1.5 SFT
Estimates based on INT8 quantization. Actual requirements vary by framework and configuration.
More Models by DeepSeek
Related Tools
Data sourced from official provider APIs and documentation
Last updated: Aug 28, 2026
Your AI stack shouldn't stand still.
Every month new models become cheaper, faster, and more capable. Inferbase ensures your application automatically benefits without changing a single API call.