USAMO 2026

Homepage and repository Homepage: https://matharena.ai/ Repository: https://github.com/eth-sri/matharena Dataset Summary This dataset contains the questions from USAMO 2026 used for the MathArena Leaderboard Data Fields The dataset contains the following fields: problem_idx (int64): Problem index within the corresponding MathArena benchmark. points (int64): Maximum score for a non-final-answer or proof-style problem. grading_scheme (string): Rubric or… See the full description on the dataset page: https://huggingface.co/datasets/MathArena/usamo_2026.

Papers using USAMO 2026 (1)

Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement2026