uw-math-ai
gAPRIL-wo-exp
Available on FriendliAI
Dedicated Endpoints
Run this model inference on single tenant GPU with unmatched speed and reliability at scale.
Model Details
Model Provider
uw-math-ai
Model Tree
Base
Goedel-LM/Goedel-Prover-V2-8B
Fine-tuned
this model
Input Modalities
Text
Output Modalities
Text
Supported Functionality
Dedicated Endpoints