diff --git a/README.md b/README.md
index 646129ef..e7730285 100644
--- a/README.md
+++ b/README.md
@@ -5,6 +5,10 @@ All of the logics are built using the [Iris](https://iris-project.org) program l
 
 ## Publications
 
+[**Approximate Relational Reasoning for Higher-Order Probabilistic Programs**](https://arxiv.org/abs/2407.14107)<br>
+*Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal*<br>
+arXiv:2407.14107
+
 [**Tachis: Higher-Order Separation Logic with Credits for Expected Costs**](https://arxiv.org/abs/2405.20083)<br>
 *Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros, Simon Oddershede Gregersen, Alejandro Aguirre, Joseph Tassarotti, Lars Birkedal*<br>
 arXiv:2405.20083