ftshijt commited on
Commit
402cd5a
1 Parent(s): 278886e

Update app.py

Browse files
Files changed (1) hide show
  1. app.py +23 -23
app.py CHANGED
@@ -166,29 +166,29 @@ with demo:
166
  deleted_models_visibility = gr.Checkbox(
167
  value=False, label="Show gated/private/deleted models", interactive=True
168
  )
169
- with gr.Column(min_width=320):
170
- #with gr.Box(elem_id="box-filter"):
171
- filter_columns_type = gr.CheckboxGroup(
172
- label="Model types",
173
- choices=[t.to_str() for t in ModelType],
174
- value=[t.to_str() for t in ModelType],
175
- interactive=True,
176
- elem_id="filter-columns-type",
177
- )
178
- filter_columns_precision = gr.CheckboxGroup(
179
- label="Precision",
180
- choices=[i.value.name for i in Precision],
181
- value=[i.value.name for i in Precision],
182
- interactive=True,
183
- elem_id="filter-columns-precision",
184
- )
185
- filter_columns_size = gr.CheckboxGroup(
186
- label="Model sizes (in billions of parameters)",
187
- choices=list(NUMERIC_INTERVALS.keys()),
188
- value=list(NUMERIC_INTERVALS.keys()),
189
- interactive=True,
190
- elem_id="filter-columns-size",
191
- )
192
 
193
  leaderboard_table = gr.components.Dataframe(
194
  value=leaderboard_df[
 
166
  deleted_models_visibility = gr.Checkbox(
167
  value=False, label="Show gated/private/deleted models", interactive=True
168
  )
169
+ # with gr.Column(min_width=320):
170
+ # #with gr.Box(elem_id="box-filter"):
171
+ # filter_columns_type = gr.CheckboxGroup(
172
+ # label="Model types",
173
+ # choices=[t.to_str() for t in ModelType],
174
+ # value=[t.to_str() for t in ModelType],
175
+ # interactive=True,
176
+ # elem_id="filter-columns-type",
177
+ # )
178
+ # filter_columns_precision = gr.CheckboxGroup(
179
+ # label="Precision",
180
+ # choices=[i.value.name for i in Precision],
181
+ # value=[i.value.name for i in Precision],
182
+ # interactive=True,
183
+ # elem_id="filter-columns-precision",
184
+ # )
185
+ # filter_columns_size = gr.CheckboxGroup(
186
+ # label="Model sizes (in billions of parameters)",
187
+ # choices=list(NUMERIC_INTERVALS.keys()),
188
+ # value=list(NUMERIC_INTERVALS.keys()),
189
+ # interactive=True,
190
+ # elem_id="filter-columns-size",
191
+ # )
192
 
193
  leaderboard_table = gr.components.Dataframe(
194
  value=leaderboard_df[