zhimin-z commited on
Commit
b76b31c
·
1 Parent(s): e4c408e
Files changed (1) hide show
  1. app.py +18 -4
app.py CHANGED
@@ -709,14 +709,28 @@ with gr.Blocks(title="SWE Assistant Issue & Discussion Leaderboard", theme=gr.th
709
  value=pd.DataFrame(columns=[col[0] for col in LEADERBOARD_COLUMNS]), # Empty initially
710
  datatype=LEADERBOARD_COLUMNS,
711
  search_columns=["Assistant", "Website"],
712
- # Note: Slider filters with min=0 have boundary issues in gradio_leaderboard
713
- # Using min=-1 as workaround to include records with 0% rates
714
  filter_columns=[
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
715
  ColumnFilter(
716
  "Wanted Issue Resolved Rate (%)",
717
- min=-1,
718
  max=100,
719
- default=[-1, 100],
720
  type="slider",
721
  label="Wanted Issue Resolved Rate (%)"
722
  )
 
709
  value=pd.DataFrame(columns=[col[0] for col in LEADERBOARD_COLUMNS]), # Empty initially
710
  datatype=LEADERBOARD_COLUMNS,
711
  search_columns=["Assistant", "Website"],
 
 
712
  filter_columns=[
713
+ ColumnFilter(
714
+ "Issue Resolved Rate (%)",
715
+ min=0,
716
+ max=100,
717
+ default=[0, 100],
718
+ type="slider",
719
+ label="Issue Resolved Rate (%)"
720
+ ),
721
+ ColumnFilter(
722
+ "Discussion Resolved Rate (%)",
723
+ min=0,
724
+ max=100,
725
+ default=[0, 100],
726
+ type="slider",
727
+ label="Discussion Resolved Rate (%)"
728
+ ),
729
  ColumnFilter(
730
  "Wanted Issue Resolved Rate (%)",
731
+ min=0,
732
  max=100,
733
+ default=[0, 100],
734
  type="slider",
735
  label="Wanted Issue Resolved Rate (%)"
736
  )