Upload to the dataset the map from "submission_id" to "model_title"

server.py

@@ -396,6 +396,8 @@ class LeaderboardServer:
             self.submission_id_to_file = submission_id_to_file
             self.submission_id_to_model_title = submission_id_to_model_title
             self.submission_id_to_data = submission_id_to_data
+        
+        self._upload_submission_id_to_model_title()
 
     def results_dataset_integrity_check(self, solve=False):
         """
@@ -884,6 +886,21 @@ class LeaderboardServer:
                 self.pre_submit = None
                 self.update_leaderboard()
 
+    def _upload_submission_id_to_model_title(self):
+        # Temporary save tournament results
+        with self.results_dataset_local_snapshot_lock.rw:
+            submission_id_to_model_title_path = os.path.join(self.results_dataset_local_snapshot, "submission_id_to_model_title.json")
+            with open(submission_id_to_model_title_path, "w") as f:
+                json.dump(self.submission_id_to_model_title, f, sort_keys=True, indent=2)  # readable JSON
+
+        api.upload_file(
+            path_or_fileobj=submission_id_to_model_title_path,
+            path_in_repo="submission_id_to_model_title.json",
+            repo_id=self.SERVER_ADDRESS,
+            repo_type=self.REPO_TYPE,
+            token=HF_TOKEN,
+        )
+
     def _upload_submission(self, submission_id, file):
         api.upload_file(
             path_or_fileobj=file,