Update

app.py

@@ -211,6 +211,8 @@ def filter_models(
 
 leaderboard_df = filter_models(leaderboard_df, [t.to_str(" : ") for t in ModelType], list(NUMERIC_INTERVALS.keys()), [i.value.name for i in Precision], [i.value.name for i in AddSpecialTokens], [i.value.name for i in NumFewShots], False, False, False)
 
+# Leaderboard demo
+
 with gr.Blocks() as demo_leaderboard:
     with gr.Row():
         with gr.Column():
@@ -388,6 +390,7 @@ with gr.Blocks() as demo_leaderboard:
             queue=True,
         )
 
+# Submission demo
 
 with gr.Blocks() as demo_submission:
     with gr.Column():
@@ -495,6 +498,7 @@ with gr.Blocks() as demo_submission:
         submission_result,
         )
 
+# Main demo
 
 with gr.Blocks(css=custom_css) as demo:
     gr.HTML(TITLE)