Update app.py

app.py

@@ -35,10 +35,17 @@ load_assets()
 # --- Load leaderboard ---
 def load_leaderboard():
     try:
-        with open(HUB_JSON, "r") as f:
+        # Download the latest leaderboard from the dataset repo
+        leaderboard_path = hf_hub_download(
+            repo_id=HUB_REPO_ID,
+            repo_type="dataset",
+            filename=HUB_JSON,
+            token=HF_TOKEN
+        )
+        with open(leaderboard_path, "r", encoding="utf-8") as f:
             return json.load(f)
     except Exception as e:
-        print(f"Failed to read leaderboard: {e}")
+        print(f"Failed to load leaderboard from HF Hub: {e}")
         return {}
 
 leaderboard_scores = load_leaderboard()