A newer version of the Gradio SDK is available:
5.15.0
metadata
title: R1-distilled leaderboard
emoji: ⚡
colorFrom: gray
colorTo: red
sdk: gradio
sdk_version: 4.21.0
app_file: app.py
pinned: true
Check out the configuration reference at https://huggingface.co./docs/hub/spaces-config-reference