add ability to download data (with current filters applied)

app.py

@@ -1,5 +1,6 @@
 import os
 import pickle
+import tempfile
 
 import pandas as pd
 import gradio as gr
@@ -279,13 +280,13 @@ with gr.Blocks(
             min_score = gr.Slider(
                 minimum=min_elo_score,
                 maximum=max_elo_score,
-                value=(max_elo_score - min_elo_score) * 0.3 + min_elo_score,
+                value=min_elo_score,
                 step=50,
                 label="Minimum ELO Score",
                 info="Filter out low scoring models",
             )
             max_models_per_month = gr.Slider(
-                value=upper_models_per_month - 2,
+                value=3,
                 minimum=1,
                 maximum=upper_models_per_month,
                 step=1,
@@ -314,8 +315,30 @@ with gr.Blocks(
         with gr.Tab("Plot"):
             plot = gr.Plot(show_label=False)
         with gr.Tab("Raw Data"):
-
             display_df = gr.DataFrame()
+            with gr.Row():
+                # Empty column to push download controls to the right
+                with gr.Column(scale=3):
+                    gr.Markdown("")
+                # Download controls on the right
+                with gr.Column(scale=1):
+                    download_button = gr.Button(
+                        "📥 Download Data", variant="secondary", size="sm"
+                    )
+                    csv_file = gr.File(label="Download CSV", visible=False)
+
+    def create_download(df):
+        with tempfile.NamedTemporaryFile(
+            mode="w", delete=False, suffix=".csv"
+        ) as temp_file:
+            df.to_csv(temp_file.name, index=False)
+        return temp_file.name, gr.update(visible=True)
+
+    download_button.click(
+        fn=create_download,
+        inputs=[display_df],
+        outputs=[csv_file, csv_file],
+    )
 
     demo.load(
         fn=filter_df,