DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3.
DeepSeek Prover V2 can be customized with your data to improve responses. Fireworks uses LoRA to efficiently train and deploy your personalized model
Learn MoreOn-demand deployments give you dedicated GPUs for DeepSeek Prover V2 using Fireworks' reliable, high-performance system with no rate limits.
Learn MoreDeepseek
163840
Available
$1.2
