File size: 87 Bytes
5487f48
 
 
1
2
3
import gradio as gr

gr.Interface.load("models/morph-labs/morph-prover-v0-7b").launch()