[Update]Change the table

app.py

@@ -170,26 +170,26 @@ with demo:
                 with gr.Column(min_width=320):
                     #with gr.Box(elem_id="box-filter"):
                     filter_columns_type = gr.CheckboxGroup(
-                        label="Model types",
+                        label="Unlearning types",
                         choices=[t.to_str() for t in ModelType],
                         value=[t.to_str() for t in ModelType],
                         interactive=True,
                         elem_id="filter-columns-type",
                     )
-                    filter_columns_precision = gr.CheckboxGroup(
-                        label="Precision",
-                        choices=[i.value.name for i in Precision],
-                        value=[i.value.name for i in Precision],
-                        interactive=True,
-                        elem_id="filter-columns-precision",
-                    )
-                    filter_columns_size = gr.CheckboxGroup(
-                        label="Model sizes (in billions of parameters)",
-                        choices=list(NUMERIC_INTERVALS.keys()),
-                        value=list(NUMERIC_INTERVALS.keys()),
-                        interactive=True,
-                        elem_id="filter-columns-size",
-                    )
+                    # filter_columns_precision = gr.CheckboxGroup(
+                    #     label="Precision",
+                    #     choices=[i.value.name for i in Precision],
+                    #     value=[i.value.name for i in Precision],
+                    #     interactive=True,
+                    #     elem_id="filter-columns-precision",
+                    # )
+                    # filter_columns_size = gr.CheckboxGroup(
+                    #     label="Model sizes (in billions of parameters)",
+                    #     choices=list(NUMERIC_INTERVALS.keys()),
+                    #     value=list(NUMERIC_INTERVALS.keys()),
+                    #     interactive=True,
+                    #     elem_id="filter-columns-size",
+                    #)
 
             leaderboard_table = gr.components.Dataframe(
                 value=leaderboard_df[