import evaluate
from evaluate.utils import launch_gradio_widget


module = evaluate.load("LukasHug/verifiablerewardsforscalablelogicalreasoning")
launch_gradio_widget(module)