diff --git a/libcrux-ml-kem/Formal Verification of ML-KEM_ Portable and AVX2.pdf b/libcrux-ml-kem/Formal Verification of ML-KEM_ Portable and AVX2.pdf
new file mode 100644
index 000000000..4c959c69e
Binary files /dev/null and b/libcrux-ml-kem/Formal Verification of ML-KEM_ Portable and AVX2.pdf differ