A newer version of the Gradio SDK is available:
5.14.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