anonymous-submission-ICLR2027
Gobble-Prover-1.7B
Available on FriendliAI
Dedicated Endpoints
Run this model inference on single tenant GPU with unmatched speed and reliability at scale.
Model Details
Model Provider
anonymous-submission-ICLR2027
Model Tree
Base
AI-MO/Kimina-Prover-Distill-1.7B
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints