VladShash
deepseek-math-full-7B-lean-prover-dpo-150k-mistral
Available on FriendliAI
Dedicated Endpoints
Run this model inference on single tenant GPU with unmatched speed and reliability at scale.
Model Details
Model Provider
VladShash
Model Tree
Base
formalmathatepfl/deepseek-math-full-sft
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints