Skip to main content

Search AIMS

Find pages, publications, events, course projects, and software. Results update as you type; press Enter to open the first result.

Mathematics

RefGrader

Recorded grading of Olympiad mathematical proofs by reference-aided language-model workflows.

3,597items
31subjects
Dataset: Apache-2.0 in the original HF card; code: MIT as stated in the original GitHub README.license
mathematicsdomain
textmodality
item-level responses released
Saturation status: Yes

Response matrix

Loading response matrix…

lowhighUnobserved

Scale: Grades: 0, 1, 2, 3, 4, 5, 6, 7