still trying to make the leaderboard

app.py

@@ -15,39 +15,7 @@ import os
 
 from submit import submit_boundary
 from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
-
-def read_boundary(filename):
-    local_path = hf_hub_download(
-        repo_id=submissions_repo,
-        repo_type="dataset",
-        filename=filename,
-    )
-    return local_path
-
-def write_results(record, result):
-    record.update(result)
-    record['result_filename'] = record['submission_filename'].strip('.json') + '_results.json'
-    record['evaluated'] = True
-    if 'objectives' in record.keys():
-        record['objective'] = record.pop('objectives')
-        record['minimize_objective'] = True
-
-
-    with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
-        json.dump(record, tmp, indent=2)
-        tmp.flush()
-        tmp_name = tmp.name
-    
-    API.upload_file(
-            path_or_fileobj=tmp_name, 
-            path_in_repo=record['result_filename'],
-            repo_id=results_repo,
-            repo_type="dataset",
-            commit_message=f"Add result data for {record['result_filename']}"
-        )
-    
-    pathlib.Path(tmp_name).unlink()
-    return
+from utils import read_boundary, write_results, get_user
 
 def evaluate_boundary(filename):
     local_path = read_boundary(filename)
@@ -58,11 +26,6 @@ def evaluate_boundary(filename):
     write_results(data_dict, result)
     return
 
-def get_user(profile: gr.OAuthProfile | None) -> str:
-    if profile is None:
-        return "Please login to submit a boundary for evaluation."
-    return profile.username
-
 def get_leaderboard():
     ds = load_dataset(results_repo, split='train')
     df = pd.DataFrame(ds)
@@ -73,7 +36,7 @@ def get_leaderboard():
     return df
 
 def show_output_box(message):
-    return gr.Textbox.update(value=message, visible=True)
+    return gr.update(value=message, visible=True)
 
 def gradio_interface() -> gr.Blocks:
     with gr.Blocks() as demo:
@@ -115,7 +78,7 @@ def gradio_interface() -> gr.Blocks:
                     boundary_file = gr.File(label="Boundary JSON File (.json)")
 
                 boundary_file
-                message = gr.Textbox(label="Evaluation Result", lines=10, visible=False)
+                message = gr.Textbox(label="Submission Status", lines=3, visible=False)
                 submit_btn = gr.Button("Evaluate")
                 submit_btn.click(
                     submit_boundary,

requirements.txt

@@ -2,4 +2,5 @@ constellaration==0.2.1
 gradio
 datasets
 huggingface_hub
-gradio-leaderboard
+gradio-leaderboard
+plotly

submit.py

@@ -14,6 +14,8 @@ from datetime import datetime
 import os
 from huggingface_hub import HfApi
 
+from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
+
 def submit_boundary(
     problem_type: Literal["geometrical", "simple_to_build", "mhd_stable"],
     boundary_file: BinaryIO,

utils.py

@@ -0,0 +1,54 @@
+import pathlib
+from pathlib import Path
+import tempfile
+from typing import BinaryIO, Literal
+import json
+import pandas as pd
+
+import gradio as gr
+from datasets import load_dataset, Dataset
+from huggingface_hub import upload_file, hf_hub_download
+from gradio_leaderboard import ColumnFilter, Leaderboard, SelectColumns
+from evaluation import evaluate_problem
+from datetime import datetime
+import os
+
+from about import PROBLEM_TYPES, TOKEN, CACHE_PATH, API, submissions_repo, results_repo
+
+def read_boundary(filename):
+    local_path = hf_hub_download(
+        repo_id=submissions_repo,
+        repo_type="dataset",
+        filename=filename,
+    )
+    return local_path
+
+def write_results(record, result):
+    record.update(result)
+    record['result_filename'] = record['submission_filename'].strip('.json') + '_results.json'
+    record['evaluated'] = True
+    if 'objectives' in record.keys():
+        record['objective'] = record.pop('objectives')
+        record['minimize_objective'] = True
+
+
+    with tempfile.NamedTemporaryFile(mode="w", suffix=".json", delete=False) as tmp:
+        json.dump(record, tmp, indent=2)
+        tmp.flush()
+        tmp_name = tmp.name
+    
+    API.upload_file(
+            path_or_fileobj=tmp_name, 
+            path_in_repo=record['result_filename'],
+            repo_id=results_repo,
+            repo_type="dataset",
+            commit_message=f"Add result data for {record['result_filename']}"
+        )
+    
+    pathlib.Path(tmp_name).unlink()
+    return
+
+def get_user(profile: gr.OAuthProfile | None) -> str:
+    if profile is None:
+        return "Please login to submit a boundary for evaluation."
+    return profile.username

visualize.py

@@ -3,4 +3,7 @@ from constellaration.utils import (
     visualization,
     visualization_utils,
 )
+import plotly.express as px
 
+def make_visual(boundary):
+    visualization.plot_surface(boundary)