diff --git a/5 Thesis/5 Resources/Literature_Reviews/A Review of Formal Methods applied to Machine Learning.md b/5 Thesis/5 Resources/Literature_Reviews/A Review of Formal Methods applied to Machine Learning.md new file mode 100644 index 000000000..e69de29bb