fix content issue

app.py

@@ -41,7 +41,8 @@ with demo:
     
     gr.Image("taxonomy_overview.png", elem_id="taxonomy-img", show_label=False, show_download_button=False)
     gr.Markdown(LLM_BENCHMARKS_TEXT, elem_classes="markdown-text")
-
+    
+    gr.Markdown("## Benchmark")
     gr.Markdown("### Model evaluation on VerilogEval-Human V1 benchmark (156 problems, 10 rollouts each)")
     leaderboard = init_leaderboard(LEADERBOARD_DF)
     gr.Markdown(CONCLUSION_TEXT, elem_classes="markdown-text")

src/about.py

@@ -26,19 +26,15 @@ NUM_FEWSHOT = 0 # Change with your few shot
 # Your leaderboard name
 TITLE = """<h1 align="center" id="space-title">How LLMs Fail and Generalize in RTL Coding for Hardware Design?</h1>"""
 
-# What does your leaderboard evaluate?
-INTRODUCTION_TEXT = """
-"""
-
 CONCLUSION_TEXT = """
 Evaluations on the VerilogEval Human benchmark reveal a strict empirical ceiling, with frontier models plateauing at a 90.8% initial pass rate.
 The solvability taxonomy exposes that L3U (Unsolvable) errors dominate across all model families, revealing persistent knowledge gaps that inference-time scaling cannot address.
 Our analysis exposes a striking surface convergence gap: optimization drastically reduces syntax errors but concurrently increases functional testbench failures.
 Ultimately, register transfer level (RTL) coding capacity relies heavily upon pretraining knowledge.
 Integrating reward and policy modelling (i.e., GRPO) during the post-training phase amplifies existing competencies by teaching models to compile, while L3S errors (addressable via best-of-N sampling) coexist with L3U errors (requiring model improvement).
+
 """
 
-# Which evaluations are you running? how can people reproduce what you have?
 LLM_BENCHMARKS_TEXT = f"""
 ## About the Taxonomy
 Our four-level error taxonomy evaluates LLM-generated RTL code based on successive stages of the EDA pipeline:
@@ -47,11 +43,8 @@ Our four-level error taxonomy evaluates LLM-generated RTL code based on successi
 - **L3S Functional-Solvable**: The synthesized model fails to meet the design specification, but the model has demonstrated the ability to solve the problem in at least one other rollout (addressable via inference-time scaling / best-of-N sampling).
 - **L3U Functional-Unsolvable**: The synthesized model fails to meet the design specification, and the model cannot solve the problem in any rollout (requires fundamental model improvement).
 
-## Benchmark
 """
 
-EVALUATION_QUEUE_TEXT = """
-"""
 
 CITATION_BUTTON_LABEL = "Copy the following snippet to cite these results"
 CITATION_BUTTON_TEXT = r"""@article{liu2026rtlerror,