VladShash
mistral-7B-lean-prover-dpo-deepseek
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/mistral-7B-v0.3-finetuned
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints