Merge pull request #40 from YangChenyuan/main

Add benchmark icons to leaderboard tabs

Author: arsene1995

leaderboard/assets/autoverus-logo.png

@@ -261,6 +261,8 @@ body::before {
 }
 
 .tab-button {
+  display: flex;
+  align-items: center;
   padding: var(--spacing-sm) var(--spacing-lg);
   border: none;
   background: transparent;
@@ -284,6 +286,15 @@ body::before {
   box-shadow: var(--shadow-md);
 }
 
+.tab-icon {
+  width: 24px;
+  height: 24px;
+  object-fit: contain;
+  vertical-align: middle;
+  margin-right: var(--spacing-xs);
+  border-radius: var(--radius-sm);
+}
+
 /* Leaderboard Table */
 .leaderboard-section {
   margin-bottom: var(--spacing-2xl);

leaderboard/assets/verusage-logo.png

@@ -94,9 +94,11 @@ <h1 class="hero-title">Verus Proof Synthesis Leaderboard</h1>
         <!-- Benchmark Tabs -->
         <div class="tabs">
           <button class="tab-button active" data-benchmark="verusage-bench">
+            <img src="assets/verusage-logo.png" alt="VeruSAGE" class="tab-icon">
             VeruSAGE-Bench (849)
           </button>
           <button class="tab-button" data-benchmark="verus-bench">
+            <img src="assets/autoverus-logo.png" alt="Verus" class="tab-icon">
             Verus-Bench (150)
           </button>
         </div>