rounding

app.py

@@ -11,6 +11,7 @@ import pandas as pd
 import plotly.express as px
 import plotly.graph_objects as go
 from apscheduler.schedulers.background import BackgroundScheduler
+import numpy as np
 
 from src.about import (
     CITATION_BUTTON_LABEL,
@@ -190,6 +191,13 @@ def init_leaderboard(dataframe, visible_columns=None):
     visible_columns = ['model_name'] + visible_columns
     display_df = dataframe[visible_columns].copy()
 
+    # Round numeric columns to 3 decimal places for display
+    numeric_cols = display_df.select_dtypes(include=np.number).columns
+    for col in numeric_cols:
+        # Avoid rounding integer columns like counts
+        if not pd.api.types.is_integer_dtype(display_df[col]):
+            display_df[col] = display_df[col].round(3)
+
     return gr.Dataframe(
         value=display_df,
         headers=visible_columns,