File size: 1,716 Bytes
775cae8 c488167 8e6a7ab 775cae8 1613f96 8e6a7ab 1613f96 5e491a9 6c12e18 8e6a7ab 775cae8 1613f96 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 |
---
title: Solidity Leaderboard
emoji: 🏆
colorFrom: pink
colorTo: purple
sdk: gradio
app_file: app.py
pinned: true
datasets:
- braindao/solbench-naive-judge-random-v1
- braindao/solbench-naive-judge-openzeppelin-v1
- braindao/solbench-humaneval-for-solidity-v1
- braindao/solbench-humaneval-for-solidity-v2
license: apache-2.0
sdk_version: 4.40.0
thumbnail: >-
https://cdn-uploads.huggingface.co/production/uploads/5f19edf678d261307936f4c8/4v6TPbN8qa6JptyCFUy-J.png
---
# Start the configuration
Most of the variables to change for a default leaderboard are in `src/env.py` (replace the path for your leaderboard) and `src/about.py` (for tasks).
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.
If you encounter problem on the space, don't hesitate to restart it to remove the create eval-queue, eval-queue-bk, eval-results and eval-results-bk created folder.
# 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/leaderboard/read_evals.py`, and `src/populate.py`
- teh logic to allow or filter submissions in `src/submission/submit.py` and `src/submission/check_validity.py` |