Try Markdown

app.py

@@ -200,6 +200,7 @@ with gr.Blocks(theme=gr.themes.Soft(text_size=text_md), css=custom_css) as main:
                         interactive=False,
                         label=None,
                         visible=True,
+                        datatype="markdown",
                         elem_classes="leaderboard-table",
                     )
                 for c in leaderboard_server.tasks_categories:

server.py

@@ -104,7 +104,7 @@ class LeaderboardServer:
                         if metric_value is not None:
                             local_results[task + "_" + metric] = metric_value
 
-                local_results["model"] = f'<a href={data["metadata"]["link_to_model"]}>{submission_id}</a>'
+                local_results["model"] = f'<a href="{data["metadata"]["link_to_model"]}">{submission_id}</a>'
 
                 if self.pre_submit and submission_id == self.pre_submit.submission_id:
                     processed_results.insert(0, local_results)
@@ -122,7 +122,7 @@ class LeaderboardServer:
             )
             dataframe = dataframe[df_order]
             dataframe = dataframe.rename(
-                columns={key: value["abbreviation"] for key, value in self.tasks_metadata.items()}
+                columns={key: f'<abbr title="{value["name"]}">{value["abbreviation"]}</abbr>' for key, value in self.tasks_metadata.items()}
             )
             return dataframe