From 4c00eec8cc0dcff514ee93d4792bf17d5063ed7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ramon=20Fern=C3=A1ndez=20Mir?= <rfernandezmir@gmail.com>
Date: Mon, 18 Mar 2024 20:19:06 +0000
Subject: [PATCH]  doc: add bib to `README.md`

---
 README.md | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index a9a05fba..8445410c 100644
--- a/README.md
+++ b/README.md
@@ -21,6 +21,7 @@ Auto-generated documentation can be found [here](https://verified-optimization.g
     - [Commands for user-guided transformations](#commands-for-user-guided-transformations)
     - [Equivalence-preserving tactics](#equivalence-preserving-tactics)
 - [Quick demo](#quick-demo)
+- [Citing](#citing)
 - [Contributing](#contributing)
 
 ## Installation
@@ -146,7 +147,7 @@ User-directed:
 
 ## Quick demo 
 
-We show how to rigorously transform and solve the following problem in `CvxLean`:
+We show how to rigorously transform and solve the following problem in CvxLean:
 
 $$
 \begin{align*}
@@ -164,6 +165,19 @@ Note that the solution is $\approx (5/3, 1)$.
 
 You can find this example in `CvxLean/Demos/README.lean`.
 
+## Citing
+
+```
+@inproceedings{bentkamp2023verified,
+  title={Verified reductions for optimization},
+  author={Bentkamp, Alexander and Fern{\'a}ndez Mir, Ramon and Avigad, Jeremy},
+  booktitle={International Conference on Tools and Algorithms for the Construction and Analysis of Systems},
+  pages={74--92},
+  year={2023},
+  organization={Springer}
+}
+```
+
 ## Contributing 
 
 There are many opportunities to improve CvxLean and many features that we would like to see implemented, so we welcome any contributions!