app.py

import gradio as gr

gr.Interface.load("models/kaiyuy/leandojo-lean3-tacgen-byt5-small").launch()