UI stuff

app.py

@@ -194,21 +194,21 @@ with demo:
                 with gr.Column(min_width=320):
                     #with gr.Box(elem_id="box-filter"):
                     filter_columns_type = gr.CheckboxGroup(
-                        label="Select model types to show",
+                        label="Select model types to include",
                         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="Select precision levels to show",
+                        label="Select precision levels to include",
                         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="Select model sizes (in billions of parameters) to show",
+                        label="Select model sizes (in billions of parameters) to include",
                         choices=list(NUMERIC_INTERVALS.keys()),
                         value=list(NUMERIC_INTERVALS.keys()),
                         interactive=True,