Update app.py

app.py

@@ -174,10 +174,10 @@ def filter_models(
     print("Column data types:")
     print(filtered_df.dtypes)
     filtered_df = filtered_df.rename(columns={'T': 'Type_Symbol'})
-    print("Filtered dataframe:")
-    print(filtered_df.to_string())
-    print("Filtered dataframe columns:")
+    print("Final filtered dataframe columns:")
     print(filtered_df.columns.tolist())
+    print("Final filtered dataframe sample:")
+    print(filtered_df.head().to_dict('records'))
     return filtered_df
 
 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)
@@ -274,26 +274,28 @@ with demo:
             #     visible=True,
             #     #column_widths=["2%", "33%"] 
             # )
-            initial_data = leaderboard_df.to_dict('records')
-            headers = leaderboard_df.columns.tolist()
-            
+            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)
+
+            initial_data = filtered_df.to_dict('records')
+            headers = filtered_df.columns.tolist()
+            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: "auto" for col in headers},
+                datatype={col: "str" for col in headers},  # すべての列を文字列として扱う
                 elem_id="leaderboard-table",
                 interactive=False,
                 visible=True,
             )
             print("Leaderboard table initial value:")
-            print(initial_data)
+            print(initial_data[:5] if initial_data else "Empty")
             print("Headers:")
             print(headers)
-            # print("Leaderboard table initial value:")
-            # print(leaderboard_table.value.head())
-            # print(f"Leaderboard table shape: {leaderboard_table.value.shape}")
-            print("Leaderboard table initial value:")
-            print(initial_data[:5] if initial_data else "Empty")
+            print("After Dataframe initialization")
 
             # Dummy leaderboard for handling the case when the user uses backspace key
             hidden_leaderboard_table_for_search = gr.components.Dataframe(