Verify evals on Papers with Code

[NielsRogge]

Hi,

Niels here from the open-source team at Hugging Face. Congratulations on your work!

I've made the paper and 16 verified paper-native evaluations available on Papers with Code.

The paper is part of the Math task page.

The SU-01 w/ TTS results currently rank first on IMO 2025, IMO-ProofBench, IPhO 2024, and IPhO 2025.

Would it be possible to verify these results and let me know if any score, model name, benchmark protocol, or openness metadata should be corrected? The imported rows are tied to the paper or its official release artifacts; comparison-table baselines were not added.

You can also edit the task, methods, project page, and GitHub URL directly from the paper page using your Hugging Face account.

If you'd like to showcase the results in your repository README, you can copy these live leaderboard badges (or use the “Copy PwC badge” button in the Results section):

Kind regards,

Niels

[Ririkoo]

Hi Niels,

Thank you very much for adding the paper and the evaluations to Papers with Code!

We reviewed all 16 results against the paper and our official release artifacts. The reported scores, model names (SU-01 and SU-01 w/ TTS) and metadata all look correct to us.

We will also add the Papers with Code leaderboard badges to our README.

Best,
SU-01 team