update subtitle

app.py

@@ -755,6 +755,7 @@ def clear():
     problem_example_text = get_random_problem()
     return "", 0.1, "", problem_example_text, problem_example_text
 
+
 with gr.Blocks(css=css, title="Math Olympiad Solver") as demo:
     running_done = False
     btn_list = []
@@ -766,7 +767,10 @@ with gr.Blocks(css=css, title="Math Olympiad Solver") as demo:
         gr.HTML("Math Olympiad Solver", elem_classes="title-content")
 
     with gr.Row(elem_classes="sub-title"):
-        gr.HTML("Here may need to add some description string", elem_classes="sub-title-content")
+        gr.HTML(
+            "<div>Demo of the <a href='https://huggingface.co/AI-MO/NuminaMath-7B-TIR'>Numina-Math-7B-TIR</a>. Example data are drawn randomly from AMC12, year 2022-2023.</div>",
+            elem_classes="sub-title-content",
+        )
 
     with gr.Row(elem_classes="main-area"):
         with gr.Column(scale=1, elem_classes="left"):