XufengDuan commited on
Commit
0283dd5
1 Parent(s): 6a5a0c3

update scripts

Browse files
Files changed (1) hide show
  1. app.py +15 -15
app.py CHANGED
@@ -248,7 +248,7 @@ try:
248
  deleted_models_visibility = gr.Checkbox(
249
  value=False, label="Show gated/private/deleted models", interactive=True
250
  )
251
- with gr.Column(min_width=320):
252
  #with gr.Box(elem_id="box-filter"):
253
  # filter_columns_type = gr.CheckboxGroup(
254
  # label="Model types",
@@ -257,20 +257,20 @@ try:
257
  # interactive=True,
258
  # elem_id="filter-columns-type",
259
  # )
260
- filter_columns_precision = gr.CheckboxGroup(
261
- label="Precision",
262
- choices=[i.value.name for i in utils.Precision],
263
- value=[i.value.name for i in utils.Precision],
264
- interactive=True,
265
- elem_id="filter-columns-precision",
266
- )
267
- filter_columns_size = gr.CheckboxGroup(
268
- label="Model sizes (in billions of parameters)",
269
- choices=list(utils.NUMERIC_INTERVALS.keys()),
270
- value=list(utils.NUMERIC_INTERVALS.keys()),
271
- interactive=True,
272
- elem_id="filter-columns-size",
273
- )
274
 
275
  leaderboard_table = gr.components.Dataframe(
276
  value=leaderboard_df[
 
248
  deleted_models_visibility = gr.Checkbox(
249
  value=False, label="Show gated/private/deleted models", interactive=True
250
  )
251
+ # with gr.Column(min_width=320):
252
  #with gr.Box(elem_id="box-filter"):
253
  # filter_columns_type = gr.CheckboxGroup(
254
  # label="Model types",
 
257
  # interactive=True,
258
  # elem_id="filter-columns-type",
259
  # )
260
+ # filter_columns_precision = gr.CheckboxGroup(
261
+ # label="Precision",
262
+ # choices=[i.value.name for i in utils.Precision],
263
+ # value=[i.value.name for i in utils.Precision],
264
+ # interactive=True,
265
+ # elem_id="filter-columns-precision",
266
+ # )
267
+ # filter_columns_size = gr.CheckboxGroup(
268
+ # label="Model sizes (in billions of parameters)",
269
+ # choices=list(utils.NUMERIC_INTERVALS.keys()),
270
+ # value=list(utils.NUMERIC_INTERVALS.keys()),
271
+ # interactive=True,
272
+ # elem_id="filter-columns-size",
273
+ # )
274
 
275
  leaderboard_table = gr.components.Dataframe(
276
  value=leaderboard_df[