diff --git a/5 Thesis/5 Resources/5 Resources - README.md b/5 Thesis/5 Resources/5 Resources - README.md new file mode 100644 index 00000000..c73f24ae --- /dev/null +++ b/5 Thesis/5 Resources/5 Resources - README.md @@ -0,0 +1,8 @@ +# Table of Contents for 5 Resources + +## Subdirectories +- [[Literature_Reviews/Literature_Reviews - README]] + +## Summary + +Generated by llama3.2:latest 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 e69de29b..06582d1d 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 @@ -0,0 +1,14 @@ +The quick brown fox jumps over the lazy dog. The dog stays blissfully asleep. :) + +Robert recommended this topic space to me: formal methods applied to machine +learning algorithims. The purpose is clear-cut: if we're able to use formal +methods to prove things about machine learning based systems, we can make +claims that their implementation in critical systems is safe and viable. +This review seems to talk a good bit about that. + +# First Pass +- Machine learned software is especially viable because it is more general +than other types of programming. Things such as computer vision and decision +making are very difficult to program manually relative to their ML counterpart. + + diff --git a/5 Thesis/5 Resources/Literature_Reviews/Literature_Reviews - README.md b/5 Thesis/5 Resources/Literature_Reviews/Literature_Reviews - README.md new file mode 100644 index 00000000..b47b3907 --- /dev/null +++ b/5 Thesis/5 Resources/Literature_Reviews/Literature_Reviews - README.md @@ -0,0 +1,8 @@ +# Table of Contents for Literature_Reviews + +## Files +- [[A Review of Formal Methods applied to Machine Learning.md]] + +## Summary + +Generated by llama3.2:latest diff --git a/5 Thesis/5 Thesis - README.md b/5 Thesis/5 Thesis - README.md index 33321e65..75fb563d 100644 --- a/5 Thesis/5 Thesis - README.md +++ b/5 Thesis/5 Thesis - README.md @@ -5,6 +5,7 @@ - [[2 Logs/2 Logs - README]] - [[3 Notes/3 Notes - README]] - [[4 Meetings/4 Meetings - README]] +- [[5 Resources/5 Resources - README]] ## Files - [[Thesis Thoughts.md]]