From 00f0a085f5d13126940eff9dc11816d665b08e5e Mon Sep 17 00:00:00 2001 From: Michael Pradel Date: Wed, 8 Feb 2023 08:45:04 +0100 Subject: [PATCH] Update README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index 20cf7b8..3f19fe0 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # LExecutor +Paper (pre-print): https://arxiv.org/abs/2302.02343 + ## Setup Create and enter a virtual environment: