From b4b3446e2cac40a43e495108069c85ecfd8d01cc Mon Sep 17 00:00:00 2001
From: Hei Li <hei411@gmail.com>
Date: Mon, 26 Aug 2024 16:14:47 +0200
Subject: [PATCH] Update README.md

added approxis
---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

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