Update leaderboard

app.py

@@ -36,8 +36,8 @@ def get_data(verified, dataset, ipc, label_type, metric_weights=None):
     data["ranking"] = range(1, len(data) + 1)
 
     for metric in METRICS:
-        data[metric.lower()] = data[metric.lower()].apply(lambda x: round(x, 1))
-    data["score"] = data["score"].apply(lambda x: round(x, 1))
+        data[metric.lower()] = data[metric.lower()].apply(lambda x: f"{x:.1f}")
+    data["score"] = data["score"].apply(lambda x: f"{x:.1f}")
 
     # formatting
     data["method"] = "[" + data["method"] + "](" + data["method_reference"] + ")"

constants.py

@@ -92,7 +92,7 @@ LABEL_TYPE_LIST = ["Hard Label", "Soft Label"]
 METRICS = ["HLR", "IOR"]
 METRICS_SIGN = [1.0, -1.0]
 COLUMN_NAMES = ["Ranking", "Method", "Verified", "Date", "Label Type", "HLR%", "IOR%", "LRS"]
-DATA_TITLE_TYPE = ['number', 'markdown', 'markdown', 'markdown', 'markdown', 'number', 'number', 'number']
+DATA_TITLE_TYPE = ['number', 'markdown', 'markdown', 'markdown', 'markdown', 'str', 'str', 'str']
 
 DATASET_MAPPING = {
     "CIFAR-10": 0,