Add MathArena evaluation result for hmmt/hmmt_feb_2026
#4
by
JasperDekoninck - opened
This PR adds a new MathArena evaluation result so it can be indexed on the model leaderboard page.
Model: lm-provers/QED-Nano
Competition dataset id: MathArena/hmmt_feb_2026
Score: 62.88
Result file: .eval_results/MathArena--hmmt_feb_2026.yaml
The results are the same as the ones displayed on our webpage.
Note: this is an experimental feature, we are currently trying to make this work as smooth as possible.