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 index edde11294..a8ac34a05 100644 --- 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 @@ -32,5 +32,3 @@ trees :( What did they ever do to you man! - They also mention that formal methods for data preparation and training are very much works in progress. -======= ->>>>>>> origin/master diff --git a/5 Thesis/5 Resources/Literature_Reviews/Neural_network-based_flight_control_systems.md b/5 Thesis/5 Resources/Literature_Reviews/Neural_network-based_flight_control_systems.md new file mode 100644 index 000000000..e69de29bb