add dataset citation

src/ui.py

@@ -102,9 +102,9 @@ def create_ui():
             "   python user_eval.py --submission_file path/to/my/submission.jsonl\n"
             "   ```\n"
             "   This will evaluate your submission locally and print the results to the console.\n"
-            "4. **Modelling Frameworks**: Currently, the supported modelling frameworks are MiniZinc, CPMpy and OR-Tools. More frameworks will be added.\n"
+            "4. **Modelling Frameworks**: Currently, the supported modelling frameworks are MiniZinc, CPMpy and OR-Tools. More frameworks can be added (feel free to submit pull requests).\n"
             "\n\n"
-            "### If you have any questions or issues, please feel free to reach out to us TODO\n"
+            "### If you have any questions or issues, please feel free to reach out to us."
             "---\n"
         )
 
@@ -164,4 +164,19 @@ def create_ui():
             outputs=[leaderboard]
         )
 
+        gr.Markdown(
+            "### If you found our work useful, please consider citing our paper and dataset as follows:\n"
+            "```bibtex\n"
+            "@dataset{michailidis_2025_15592407,"
+            "author       = {Michailidis, Kostis and Tsouros, Dimosthenis and Guns, Tias},"
+            "title        = {CP-Bench},"
+            "month        = jun,"
+            "year         = 2025,"
+            "publisher    = {Zenodo},"
+            "version      = {1.0.0},"
+            "doi          = {10.5281/zenodo.15592407},"
+            "url          = {https://doi.org/10.5281/zenodo.15592407},"
+            "}"
+        )
+
     return demo