add logos

src/display/about.py

@@ -20,9 +20,12 @@ class Tasks(Enum):
 #METRICS = list(set([task.value.metric for task in Tasks]))
 
 
+logo1_url = "./assets/AI2_Logo_Square.png" 
+logo2_url = "./assets/logo_logikon_notext_withborder.png"
+LOGOS = f'<span style="display: flex; justify-content: flex-start;"><img src="{logo1_url}" alt="AI2" style="width: 40vw; min-width: 30px; max-width: 80px;"> <img src="{logo2_url}" alt="AI2" style="width: 40vw; min-width: 30px; max-width: 80px;"></span>'
 
 # Your leaderboard name
-TITLE = """<h1 align="center" id="space-title"><code>/\/</code> &nbsp; Open CoT Leaderboard</h1>"""
+TITLE = f'<h1 align="center" id="space-title"> {LOGOS} &nbsp; Open CoT Leaderboard</h1>'
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """