TY  - RPRT
TI  - FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming
AU  - Gal Beniamini
AU  - Yuval Dor
AU  - Alon Vinnikov
AU  - Shir Granot Peled
AU  - Or Weinstein
AU  - Or Sharir
AU  - Noam Wies
AU  - Tomer Nussbaum
AU  - Ido Ben Shaul
AU  - Tomer Zekharya
AU  - Yoav Levine
AU  - Shai Shalev-Shwartz
AU  - Amnon Shashua
PY  - 2025
UR  - https://arxiv.org/abs/2507.13337
ID  - 2507.13337
ER  -