update

app.py

@@ -10,7 +10,7 @@ with gr.Blocks(theme=gr.themes.Soft()) as demo:
         with gr.Column(scale=2):
             with gr.Row():
                 github_username = gr.Textbox(label="Github Username", info="Please enter your github username, e.g., username.")
-                benchmark = gr.Dropdown(label="Benchmark", choices=list(benchmarks.keys()), info="Please select a benchmark, e.g., Procgen.")
+                benchmark = gr.Dropdown(label="Benchmark", choices=list(benchmarks.keys()), value=None, info="Please select a benchmark, e.g., Procgen.")
             with gr.Row():
                 environment = gr.Dropdown(label="Environment", choices=[], value=None, info="Please select an environment, e.g., Miner.")
                 version = gr.Dropdown(label="Version", choices=[], value=None, info="Please select a version, e.g., v0.")
@@ -19,7 +19,7 @@ with gr.Blocks(theme=gr.themes.Soft()) as demo:
                 code_link = gr.Textbox(label="Code Link", info="Example: https://github.com/username/repo, the link should be accessible.")
             with gr.Row():
                 submit_button = gr.Button("Submit", variant="primary") 
-                clear_button = gr.Button("Clear", variant="secondary")
+                clear_button = gr.Button("Clear", variant="stop")
         with gr.Column(scale=1):
             # file uploader
             model_uploader = gr.File(label="Upload the agent here!")