Update app.py

app.py

@@ -4,6 +4,7 @@ import gradio as gr
 import pandas as pd
 from apscheduler.schedulers.background import BackgroundScheduler
 from huggingface_hub import snapshot_download
+from decimal import Decimal
 
 from src.about import (
     CITATION_BUTTON_LABEL,
@@ -184,6 +185,9 @@ def filter_models(
     print(filtered_df.head().to_dict('records'))
     return filtered_df
 
+def convert_decimal_to_str(item):
+    return {k: str(v) if isinstance(v, Decimal) else v for k, v in item.items()}
+
 leaderboard_df = filter_models(leaderboard_df, [t.to_str(" : ") for t in ModelType], list(NUMERIC_INTERVALS.keys()), [i.value.name for i in Precision], [i.value.name for i in AddSpecialTokens], [i.value.name for i in NumFewShots], False, False, False)
 
 demo = gr.Blocks(css=custom_css)
@@ -284,7 +288,7 @@ with demo:
             print("filtered_df columns:")
             print(filtered_df.columns.tolist())
 
-            initial_data = filtered_df.to_dict('records')
+            initial_data = [convert_decimal_to_str(item) for item in filtered_df.to_dict('records')]
             headers = filtered_df.columns.tolist()
             print("Initial data sample:")
             for key, value in initial_data[0].items():
@@ -295,9 +299,12 @@ with demo:
             print(f"headers: {headers}")
             print(f"First record keys: {list(initial_data[0].keys()) if initial_data else 'Empty'}")
             leaderboard_table = gr.components.Dataframe(
-                value=filtered_df,
-                headers=filtered_df.columns.tolist(),
-                datatype={col: "str" for col in filtered_df.columns},
+                value=initial_data,
+                headers=headers,
+                datatype={col: "str" for col in headers},  
+                row_count=(len(initial_data), "dynamic"),  
+                col_count=(len(headers), "fixed"),  
+                wrap=True,  
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,