formalmathatepfl
deepseek-prover-v2-grpo-800
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
formalmathatepfl/deepseek-prover-v2-cpt-sft-1e
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints