formalmathatepfl
deepseek-prover-v2-cpt-sft-feedback-1e
Available on FriendliAI
Dedicated Endpoints
Run this model inference on single tenant GPU with unmatched speed and reliability at scale.
Model Details
Model Provider
formalmathatepfl
Model Tree
Base
deepseek-ai/DeepSeek-Prover-V2-7B
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints