renaming things in submit area

app.py

@@ -12,7 +12,7 @@ from datetime import datetime
 import tempfile
 from datasets import load_dataset
 
-def make_submission(problem_type,
+def make_submission(
     submitted_file: BinaryIO,
     user_state):
 
@@ -36,11 +36,10 @@ def make_submission(problem_type,
         tmp_boundary_path = Path(tmp_boundary.name)
 
         # write to dataset
-        filename = f"{problem_type}/{timestamp.replace(':', '-')}_{problem_type}.json"
+        filename = f"{user_state}/{timestamp.replace(':', '-')}_{user_state}.json"
         record = {
             "submission_filename": filename,
             "submission_time": timestamp,
-            "problem_type": problem_type,
             "csv_content": file_content,
             "evaluated": False,
             "user": user_state,
@@ -55,7 +54,7 @@ def make_submission(problem_type,
             path_in_repo=filename,
             repo_id=submissions_repo,
             repo_type="dataset",
-            commit_message=f"Add submission for {problem_type} at {timestamp}"
+            commit_message=f"Add submission for {user_state} at {timestamp}"
         )
         Path(tmp_name).unlink()
 
@@ -117,6 +116,7 @@ with gr.Blocks() as demo:
             gr.Markdown("# Antibody Developability Benchmark Leaderboard")
 
             get_leaderboard_object()
+            # TODO: this is not going to update well, need to fix
 
             # gr.Markdown("Extra info here")
 
@@ -164,14 +164,13 @@ with gr.Blocks() as demo:
 
                 with gr.Row():
                     with gr.Column():
-                        problem_type = gr.Dropdown(ASSAY_LIST, label="Problem Type")
                         username_input = gr.Textbox(
                             label="Username", 
                             placeholder="Enter your Hugging Face username",
                             info="This will be displayed on the leaderboard."
                         )
                     with gr.Column():
-                        boundary_file = gr.File(label="Boundary JSON File (.json)")
+                        boundary_file = gr.File(label="Submission CSV")
 
                 username_input.change(
                     fn=lambda x: x if x.strip() else None,
@@ -186,7 +185,7 @@ with gr.Blocks() as demo:
                 
                 submit_btn.click(
                     make_submission,
-                    inputs=[problem_type, boundary_file, user_state],
+                    inputs=[boundary_file, user_state],
                     outputs=[message, filename],
                 ).then(
                     fn=show_output_box,