improve desc

src/about.py

@@ -26,6 +26,12 @@ TITLE = """<h1 align="center" id="space-title">AAI FormulaOne Leaderboard</h1>""
 
 # What does your leaderboard evaluate?
 INTRODUCTION_TEXT = """
+Welcome to the official repository for the paper:
+
+**FormulaOne: Measuring the Depth of Algorithmic Reasoning Beyond Competitive Programming** <br>
+*Gal Beniamini, Yuval Dor, Alon Vinnikov, Shir Granot Peled, Or Weinstein, Or Sharir, Noam Wies, Tomer Nussbaum, Ido Ben Shaul, Tomer Zekharya, Yoav Levine, Shai Shalev-Shwartz, Amnon Shashua* <br>
+**AAI, July 2025**
+
 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.
 """