From 1c3294808d9a050fa5258b4bb7d9d053f2f029d9 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 7 Jul 2025 11:50:06 -0400 Subject: [PATCH] vault backup: 2025-07-07 11:50:06 --- .../A Review of Formal Methods applied to Machine Learning.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md b/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md index aee652e4..a78736ce 100644 --- a/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md +++ b/Notes on Papers/A Review of Formal Methods applied to Machine Learning.md @@ -65,7 +65,9 @@ and merging that seems like a to grasp. But, apparently it works. Next, they spend some time talking about other machine learning methods and the formal methods that have been applied to them. Of particular interest to me -is the formal method application to support vector machines and decision trees. +is the formal method application to support vector machines and decision +trees. There are some useful methods for detecting robustness to adversarial +inputs, and knowing what the nearest misclassification adversarial case is. # Third Pass **Recreation Notes:**