MathArena · BrokenArXiv
MathArena / ETH Zurich / « inférence » · Détecter et corriger les erreurs dans des preuves mathématiques
Ce qu'il mesure, comment il le mesure
Lire les scores bruts par épreuve et par version, sans utiliser le score composite « Expected performance » ajusté entre les banques de questions.
Comment utiliser ces preuves
En observation : les limites de réaffichage des scores du classement ne sont pas encore claires ; pas de collecte dans le score officiel pour l'instant.
Limites de l'évaluation et attribution des données
En observation : les limites de réaffichage des scores du classement ne sont pas encore claires ; pas de collecte dans le score officiel pour l'instant.
Licence des données :Code sous MIT ; les données comportent des limites CC BY-NC-SA 4.0.0 et une distinction s'impose entre la banque de questions et les scores du classement.
Résultats publiés par MathArena / ETH Zurich ; les scores bruts de chaque épreuve utilisent des échelles différentes et ne peuvent pas être additionnés directement ; le rang de référence applique des règles publiques de normalisation des écarts.