wip

app.py

@@ -1,3 +1,5 @@
+from functools import partial
+
 import gradio as gr
 from gradio_leaderboard import Leaderboard, ColumnFilter, SelectColumns
 import pandas as pd
@@ -163,7 +165,7 @@ with demo:
             submit_button = gr.Button("Submit Eval")
             submission_result = gr.Markdown()
             submit_button.click(
-                add_new_solutions,
+                partial(add_new_solutions, lbdb=lbdb),
                 [
                     lbdb,
                     submitter_textbox,

src/datamodel/data.py

@@ -20,5 +20,5 @@ class F1Data:
 
     def initialize(self):
         logger.info("Initialize F1Data TOMEN='%s'", TOKEN)
-        cp_ds = load_dataset(self.cp_dataset_name, split="hard")
+        cp_ds = load_dataset(self.cp_dataset_name, split="hard", token=TOKEN)
         self.code_problems: dict[str, str] = {r["formula_name"]: r["code_problem"]["problem_description"] for r in cp_ds}