Round to 3 digits

app.py

@@ -38,7 +38,7 @@ def format_leaderboard_table(df_results: pd.DataFrame, assay: str | None = None)
     # After sorting, just add the reason for excluding heldout test set
     # Note: We can also just say the following as a text box at the bottom of the leaderboard: "Note: Results for the Heldout Test Set are only evaluated at competition close"
     # Convert spearman column to string to avoid dtype incompatibility when assigning text
-    df["spearman"] = df["spearman"].astype(str)
+    df["spearman"] = df["spearman"].apply(lambda x: f"{x:.3f}")
     # Cast submission_time to datetime
     df["submission_time"] = pd.to_datetime(df["submission_time"], errors="coerce")
     # Before the first deadline: Say we're busy evaluating
@@ -264,4 +264,6 @@ with gr.Blocks(theme=gr.themes.Default(text_size=sizes.text_lg)) as demo:
     )
 
 if __name__ == "__main__":
-    demo.launch(ssr_mode=False, app_kwargs={"lifespan": periodic_data_fetch})
+    demo.launch(
+        ssr_mode=False, app_kwargs={"lifespan": periodic_data_fetch}, share=True
+    )