---
title: FormulaOne Leaderboard
emoji: 🥇
colorFrom: green
colorTo: indigo
sdk: gradio
hf_oauth: true
app_file: app.py
pinned: true
license: apache-2.0
short_description: FormulaOne Leaderboard
sdk_version: 5.42.0
python_version: 3.12.0
---


### Competition terms

- By submitting, you agree to the **FormulaOne Submission Agreement
(v1.2)** and our **Privacy Notice**.
- Your uploaded file remains yours; we only use it to evaluate, score,
and contact you about your result.
**Licensing for the public benchmark assets (informational)**
- **Evaluator code:** Apache License 2.0
- **Problem statements & public tests:** Creative Commons **CC BY 4.0**
See the project's **README licence section** and full texts: `LICENSE-
APACHE2`, `LICENSE-CC-BY` in our GitHub repo.
**Platform**
- Your use of Hugging Face is also governed by Hugging Face's Terms and
Privacy Policy.
- 

# FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming

This is the official Hugging Face space for the paper:

**FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming** <br>
*Gal Beniamini, Yuval Dor, Alon Vinnikov, Shir Granot Peled, Or Weinstein, Or Sharir, Noam Wies, Tomer Nussbaum, Nadav Schweiger, Ido Ben Shaul, Tomer Zekharya, Yoav Levine, Shai Shalev-Shwartz, Amnon Shashua* <br>
**AAI, July 2025**