Pengzhen23

Gobble-Prover-1.7B

Available on FriendliAI

Dedicated Endpoints

Run this model inference on single tenant GPU with unmatched speed and reliability at scale.

Learn more

Model Details

Model Provider

Pengzhen23

Model Tree

Base

AI-MO/Kimina-Prover-Distill-1.7B

Fine-tuned

this model

Input Modalities

Text

Output Modalities

Text

Supported Functionality

Dedicated Endpoints

Explore FriendliAI today