[Update]Add line 158-185

app.py

@@ -154,7 +154,35 @@ with demo:
                             1, 100, value=40, 
                             step=1, label="Attacking Steps", info="Choose between 1 and 100",
                             interactive=True,)
-                
+
+            leaderboard_table = gr.components.Dataframe(
+                value= raw_data,
+                elem_id="leaderboard-table",
+                interactive=False,
+                visible=True,
+            )
+
+            game_bench_df_for_search = gr.components.Dataframe(
+                value= raw_data,
+                elem_id="leaderboard-table",
+                interactive=False,
+                visible=False,
+            )
+
+
+            for selector in [shown_columns_1,shown_columns_2, shown_columns_3, model1_column]:
+                selector.change(
+                    update_table,
+                    [   
+                        game_bench_df_for_search,
+                        shown_columns_1,
+                        shown_columns_2,
+                        shown_columns_3,
+                        model1_column, 
+                    ],
+                    leaderboard_table,
+                    queue=True,
+                )    
     #                 with gr.Row():
     #                     shown_columns = gr.CheckboxGroup(
     #                         choices=[