update intro text

src/about.py

@@ -21,11 +21,11 @@ NUM_FEWSHOT = 0 # Change with your few shot
 
 
 # Your leaderboard name
-TITLE = """<h1 align="center" id="space-title">Demo leaderboard</h1>"""
+TITLE = """<h1 align="center" id="space-title">CP-Bench leaderboard</h1>"""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
-Intro text
+# Welcome to the CP-Bench leaderboard, a benchmark for evaluating the performance of LLMs on constraint modelling.
 """
 
 # Which evaluations are you running? how can people reproduce what you have?
@@ -69,4 +69,5 @@ If everything is done, check you can launch the EleutherAIHarness on your model
 
 CITATION_BUTTON_LABEL = "Copy the following snippet to cite these results"
 CITATION_BUTTON_TEXT = r"""
+TODO
 """