Fix by not specifying the col widths

app.py

@@ -150,11 +150,10 @@ with gr.Blocks(css=custom_css, js=js_func, theme=gr.themes.Default(primary_hue=c
                 value=filter_leaderboard('VerilogEval S2R', 'All', "", 700),
                 headers="first row",
                 show_row_numbers=True,
-                wrap=True,
+                wrap=False,
                 datatype=["markdown", "html",],
-                interactive=False,
-                # column_widths=["5%", "28%", "10%", "14%"],
-                )
+                interactive=True,
+                column_widths=["5%", "28%", "10%", "14%"],)
         
         with gr.Tab("Interactive Bubble Plot"):
             with gr.Row():

utils.py

@@ -53,7 +53,7 @@ def filter_bench_all(subset: pd.DataFrame) -> pd.DataFrame:
     pivot_df['Model'] = pivot_df.apply(lambda row: model_hyperlink(row["Model URL"], row["Model"]), axis=1)
     pivot_df['Type'] = pivot_df['Model Type'].map(lambda x: type_emoji.get(x, ""))
     pivot_df.rename(columns={
-        'Exact Matching (EM)': 'Avg EM', 
+        # 'Exact Matching (EM)': 'Avg EM', 
         'Syntax (STX)': 'Avg STX', 
         'Functionality (FNC)': 'Avg FNC', 
         'Synthesis (SYN)': 'Avg SYN', 
@@ -61,7 +61,8 @@ def filter_bench_all(subset: pd.DataFrame) -> pd.DataFrame:
         'Performance': 'Avg Perf',
         'Area': 'Avg Area',
     }, inplace=True)
-    columns_order = ['Type', 'Model', 'Params', '🐢 Score (Avg of all) ⬆️', 'Avg EM', 'Avg STX', 'Avg FNC', 'Avg SYN', 'Avg Power', 'Avg Perf', 'Avg Area']
+    columns_order = ['Type', 'Model', 'Params', '🐢 Score (Avg of all) ⬆️', 'Avg STX', 'Avg FNC', 'Avg SYN', 'Avg Power', 'Avg Perf', 'Avg Area']
+    # columns_order = ['Type', 'Model', 'Params', '🐢 Score (Avg of all) ⬆️', 'Avg EM', 'Avg STX', 'Avg FNC', 'Avg SYN', 'Avg Power', 'Avg Perf', 'Avg Area']
     pivot_df = pivot_df[[col for col in columns_order if col in pivot_df.columns]]
     pivot_df = pivot_df.sort_values(by='🐢 Score (Avg of all) ⬆️', ascending=False).reset_index(drop=True)
     # pivot_df.insert(0, '', range(1, len(pivot_df) + 1))