| import json | |
| import os | |
| LEADERBOARD_FILE = "leaderboard.json" | |
| def load_leaderboard(): | |
| if not os.path.exists(LEADERBOARD_FILE): | |
| return [] | |
| with open(LEADERBOARD_FILE, "r", encoding="utf-8") as f: | |
| return json.load(f) | |
| def save_leaderboard(data): | |
| with open(LEADERBOARD_FILE, "w", encoding="utf-8") as f: | |
| json.dump(data, f, indent=2, ensure_ascii=False) | |
| def update_leaderboard(model_name, score): | |
| leaderboard = load_leaderboard() | |
| leaderboard = [entry for entry in leaderboard if entry["model"] != model_name] | |
| leaderboard.append({"model": model_name, "score": score}) | |
| leaderboard.sort(key=lambda x: x["score"], reverse=True) | |
| save_leaderboard(leaderboard) | |