README.md

---
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
---

# Start the configuration

Most of the variables to change for a default leaderboard are in `src/env.py` and `src/about.py`.

Results files should have the following format and be stored as json files:

```json
{
    "config": {
        "model_dtype": "torch.float16", # or torch.bfloat16 or 8bit or 4bit
        "model_name": "path of the model on the hub: org/model",
        "model_sha": "revision on the hub",
    },
    "results": {
        "task_name": {
            "metric_name": score,
        },
        "task_name2": {
            "metric_name": score,
        }
    }
}
```

Request files are created automatically by this tool.

# Code logic for more complex edits

You'll find 
- The main table columns names and properties in `src/display/utils.py`
- The logic to read all results and request files, then convert them in dataframe lines, in `src/populate.py`
- The logic to allow or filter submissions in `src/submission/submit.py`.