citation, desc

src/about.py

@@ -26,7 +26,7 @@ TITLE = """<h1 align="center" id="space-title">AAI FormulaOne Leaderboard</h1>""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
-FormulaOne is a dataset of hard code problems as a benchmark for LLM/LRM potency
+FormulaOne is a new benchmark designed to challenge frontier AI models. The benchmark is constructed from a vast and conceptually diverse family of dynamic programming problems derived from Monadic Second-Order (MSO) logic on graphs, a framework with profound connections to theoretical computer science.
 """
 
 # Which evaluations are you running? how can people reproduce what you have?
@@ -68,6 +68,15 @@ Make sure you have followed the above steps first.
 If everything is done, check you can launch the EleutherAIHarness on your model locally, using the above command without modifications (you can add `--limit` to limit the number of examples per task).
 """
 
-CITATION_BUTTON_LABEL = "Copy the following snippet to cite these results"
+CITATION_BUTTON_LABEL = """📚 How to Cite FormulaOne"""
 CITATION_BUTTON_TEXT = r"""
+@misc{beniamini2025formulaonemeasuringdepthalgorithmic,
+      title={FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming}, 
+      author={Gal Beniamini and Yuval Dor and Alon Vinnikov and Shir Granot Peled and Or Weinstein and Or Sharir and Noam Wies and Tomer Nussbaum and Ido Ben Shaul and Tomer Zekharya and Yoav Levine and Shai Shalev-Shwartz and Amnon Shashua},
+      year={2025},
+      eprint={2507.13337},
+      archivePrefix={arXiv},
+      primaryClass={cs.AI},
+      url={https://arxiv.org/abs/2507.13337}, 
+}
 """