Added attribute Input length (# tokens) to submission

app.py

@@ -25,6 +25,7 @@ SUBMISSION_INPUTS = dict.fromkeys((
     "model_name",
     "model_type",
     "parameters",
+    "input_length",
     "precision",
     "description",
     "link_to_model",
@@ -273,6 +274,11 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                     )
 
                 with gr.Row():
+                    submission_inputs["input_length"] = gr.Number(
+                        label='Input length (# tokens)',
+                        value=0,
+                        step=1,
+                    )
                     submission_inputs["precision"] = gr.Dropdown(
                         label="Precision",
                         choices=("float32", "bfloat32", "float16", "bfloat16", "8bit", "4bit"),

server.py

@@ -177,6 +177,7 @@ class LeaderboardServer:
                 "model_name": "Model name",
                 "model_type": "Type",
                 "parameters": "Parameters",
+                "input_length": "Input length (# tokens)",
                 "precision": "Precision",
                 "description": "Description",
                 "link_to_model": "Link to model"