GitLab

* Filter new leaderboard_math_hard dataset to "Level 5" only

* align to linters
Signed-off-by: Yotam Perlitz <y.perlitz@ibm.com>

---------
Signed-off-by: Yotam Perlitz <y.perlitz@ibm.com>