Edits.

app.py

@@ -302,6 +302,7 @@ with blocks:
             gr.HTML(WHAT_IS_F1_HTML_EVAL_BEFORE_WARMUPFIG)
             gr.Image(
                 "assets/warmup_performance.png",
+                width=600,
                 show_label=False,
                 elem_classes=["f1-image"],
                 show_share_button=False,
@@ -316,6 +317,7 @@ with blocks:
             # Tier 1 figure with corrected caption text
             gr.Image(
                 "assets/tier1_performance.png",
+                width=600,
                 show_label=False,
                 elem_classes=["f1-image"],
                 show_share_button=False,
@@ -351,6 +353,8 @@ with blocks:
             with gr.Row():
                 gr.Markdown("# ✉️✨ Submit your solutions", elem_classes="markdown-text")
 
+            with gr.Row():
+
             login_box = gr.Group(visible=True)
             with login_box:
                 gr.Markdown("Please sign in with Hugging Face to submit")

src/about.py

@@ -19,7 +19,7 @@ WHAT_IS_F1_HTML_TOP = f"""
       <div class="f1-grid-table" role="table">
         <div class="f1-grid-row f1-grid-head" role="row">
           <div class="f1-grid-cell" role="columnheader">Category</div>
-          <div class="f1-grid-cell" role="columnheader">Number of Problems</div>
+          <div class="f1-grid-cell" role="columnheader">Size</div>
           <div class="f1-grid-cell" role="columnheader">Description</div>
         </div>
         <div class="f1-grid-row" role="row">
@@ -50,7 +50,7 @@ WHAT_IS_F1_HTML_BOTTOM_A = """
 <div class="f1-container">
   <section>
     <p class="mb-4 f1-p">The latter category is incredibly demanding, requiring resolution of many points of uncertainty, and involving an array of reasoning steps, including topological and geometric insight, knowledge of mathematical domains such as extremal graph theory and logic, combinatorial considerations, precise implementation, and more.</p>
-    <p class="f1-p">Despite <a href="https://epoch.ai/frontiermath" target="_blank" rel="noopener noreferrer" class="f1-a">impressive</a> <a href="https://artificialanalysis.ai/evaluations/gpqa-diamond" target="_blank" rel="noopener noreferrer" class="f1-a">performance</a> on existing benchmarks, presently <strong>no model solves even a single FormulaOne Tier 2 problem</strong>.<sup><a href="#evaluation" class="f1-a">1</a></sup></p>
+    <p class="f1-p">Despite <a href="https://epoch.ai/frontiermath" target="_blank" rel="noopener noreferrer" class="f1-a">impressive</a> <a href="https://artificialanalysis.ai/evaluations/gpqa-diamond" target="_blank" rel="noopener noreferrer" class="f1-a">performance</a> on existing benchmarks, presently <strong>no model solves even a single Tier 2 problem</strong>.<sup><a href="#evaluation" class="f1-a">1</a></sup></p>
   </section>
 
   <section>