From 60fffd2ba6d5b63e020ff1ff69d0707c7d5c2278 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 7 Apr 2025 12:58:42 -0400 Subject: [PATCH] vault backup: 2025-04-07 12:58:42 --- .../A Review of Formal Methods applied to Machine Learning.md | 2 -- .../Neural_network-based_flight_control_systems.md | 0 2 files changed, 2 deletions(-) create mode 100644 5 Thesis/5 Resources/Literature_Reviews/Neural_network-based_flight_control_systems.md 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 edde1129..a8ac34a0 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 00000000..e69de29b