fix validation leaderboard download button

get_leaderboard_csv expected raw results format with Endpoint/mean_RAE
columns, but current_df is already processed CSV — switch to
get_leaderboard_csv_aux which just writes the dataframe as-is.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

app.py

@@ -394,10 +394,10 @@ with gr.Blocks(title="OpenADMET ADMET Challenge", fill_height=False,
                         variant="secondary",
                         )
                 download_lb.click(
-                    fn=get_leaderboard_csv,
-                    inputs=[gr.State(current_df)], 
-                    outputs=download_lb, 
-                    show_progress="hidden", 
+                    fn=get_leaderboard_csv_aux,
+                    inputs=[gr.State(current_df), gr.State("validation")],
+                    outputs=download_lb,
+                    show_progress="hidden",
                 )
             with gr.TabItem('FINAL', elem_id="all_tab"):
                 df = df_per_ep['Final'].copy() # making a copy so that model details in csv version aren't html