Update app.py

app.py

@@ -279,7 +279,6 @@ with demo:
             #     #column_widths=["2%", "33%"] 
             # )
             filtered_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)
-            filtered_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)
             print("After filter_models:")
             print(f"filtered_df shape: {filtered_df.shape}")
             print("filtered_df columns:")
@@ -287,17 +286,18 @@ with demo:
 
             initial_data = filtered_df.to_dict('records')
             headers = filtered_df.columns.tolist()
+            print("Initial data sample:")
+            for key, value in initial_data[0].items():
+                print(f"{key}: {type(value)}")
             print("Before Dataframe initialization:")
             print(f"initial_data type: {type(initial_data)}")
             print(f"initial_data length: {len(initial_data)}")
             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=initial_data,
-                headers=headers,
-                datatype={col: "str" for col in headers}, 
-                row_count=(len(initial_data), "dynamic"), 
-                col_count=(len(headers), "fixed"),
+                value=filtered_df,
+                headers=filtered_df.columns.tolist(),
+                datatype={col: "str" for col in filtered_df.columns},
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,