add
Browse files
app.py
CHANGED
|
@@ -1424,7 +1424,16 @@ with gr.Blocks(title="SWE Agent Issue Leaderboard", theme=gr.themes.Soft()) as a
|
|
| 1424 |
value=get_leaderboard_dataframe(),
|
| 1425 |
datatype=LEADERBOARD_COLUMNS,
|
| 1426 |
search_columns=["Agent Name", "Website"],
|
| 1427 |
-
filter_columns=[
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1428 |
)
|
| 1429 |
|
| 1430 |
gr.Markdown("### Monthly Metrics")
|
|
|
|
| 1424 |
value=get_leaderboard_dataframe(),
|
| 1425 |
datatype=LEADERBOARD_COLUMNS,
|
| 1426 |
search_columns=["Agent Name", "Website"],
|
| 1427 |
+
filter_columns=[
|
| 1428 |
+
ColumnFilter(
|
| 1429 |
+
"Acceptance Rate (%)",
|
| 1430 |
+
min=0,
|
| 1431 |
+
max=100,
|
| 1432 |
+
default=[0, 100],
|
| 1433 |
+
type="slider",
|
| 1434 |
+
label="Acceptance Rate (%)"
|
| 1435 |
+
)
|
| 1436 |
+
]
|
| 1437 |
)
|
| 1438 |
|
| 1439 |
gr.Markdown("### Monthly Metrics")
|