diff --git a/note_for_AE.md b/note_for_AE.md
deleted file mode 100644
index 57817d7e3a8e..000000000000
--- a/note_for_AE.md
+++ /dev/null
@@ -1,23 +0,0 @@
-Note to future self .. when writing .. README for artifact eval
-
-# maybe use virtual machine if vs code is needed -- but can consider using docker if not
-
-# set env variable for Verus, Verus_FMT, TMPDIR
-```
-export TMPDIR="/home/chanhee/verus-analyzer/tmp_dir"
-export VERUS_BINARY_PATH="/home/chanhee/verus/source/target-verus/debug/verus"
-export VERUS_FMT_BINARY_PATH="/home/chanhee/verusfmt/target/debug/verusfmt"
-```
-
-
-# commit hash
-
-verusfmt : 4d878b2de24d5b44bafe8e8bba7677a13433f49e
-verus : 9ec21f08802d33661887b9566c815d5488cda7a5
-rust: 1.68.0-x86_64-unknown-linux-gnu (default)
-
-
-# for VS code
-
-[dependencies]
-vstd = { path = "/home/chanhee/verus/source/pervasive"}