README.md

metadata

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
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
AAI, July 2025