Modify the leaderboard formatting

app.py

@@ -57,12 +57,10 @@ def highlight_zeroshot(styler):
 leaderboards = {}
 for metric in ["WQL", "MASE"]:
     lb = fev.leaderboard(summary_urls, metric_column=metric)[selected_cols].rename(columns=rename_cols)
-    format_dict = {}
-    for col in lb.columns:
-        format_dict[col] = "{:.3f}" if col != "Training corpus overlap (%)" else "{:.1%}"
-    lb = lb.reset_index()
+    lb = lb.astype("float64").round(3).reset_index()
+    lb["Training corpus overlap (%)"] = (lb["Training corpus overlap (%)"] * 100).round(1)
     lb["model_name"] = lb["model_name"].apply(make_clickable_model)
-    leaderboards[metric] = highlight_zeroshot(lb.style.format(format_dict))
+    leaderboards[metric] = highlight_zeroshot(lb.style).format(precision=3)
 
 
 with gr.Blocks(css=custom_css) as demo: