Update app.py
Browse files
app.py
CHANGED
@@ -74,11 +74,10 @@ with demo:
|
|
74 |
'pass@1': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 1).mean(),
|
75 |
'pass@5': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 5).mean(),
|
76 |
'pass@10': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 10).mean()
|
77 |
-
})).reset_index()
|
78 |
|
79 |
leaderboard = init_leaderboard(complete_pass_at_k)
|
80 |
-
|
81 |
-
leaderboard.render()
|
82 |
|
83 |
# Launch the Gradio interface
|
84 |
demo.launch()
|
|
|
74 |
'pass@1': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 1).mean(),
|
75 |
'pass@5': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 5).mean(),
|
76 |
'pass@10': estimate_pass_at_k(x['Runs'].values, x['Successes'].values, 10).mean()
|
77 |
+
}, index=['pass@1', 'pass@5', 'pass@10'])).reset_index()
|
78 |
|
79 |
leaderboard = init_leaderboard(complete_pass_at_k)
|
80 |
+
leaderboard.render()
|
|
|
81 |
|
82 |
# Launch the Gradio interface
|
83 |
demo.launch()
|