Hugging Face's logo

Spaces:
double-ai
/
FormulaOne-Leaderboard
Running on CPU Upgrade

App Files Community
1
FormulaOne-Leaderboard / README.md
Alvinn-aai's picture
Alvinn-aai
readme, agreements, terms, privacy, checkboxes priort to submission
458cf5b
preview code
|
raw
history blame contribute delete
1.37 kB

A newer version of the Gradio SDK is available: 5.43.1

Upgrade
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