From 3af17d1aaeab8d9042b5ff83372317f585bf5df0 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 12 May 2025 11:27:27 -0400 Subject: [PATCH] vault backup: 2025-05-12 11:27:27 --- .../A Review of Formal Methods applied to Machine Learning.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Literature Notes/A Review of Formal Methods applied to Machine Learning.md b/Literature Notes/A Review of Formal Methods applied to Machine Learning.md index 56b356920..8b45635b3 100644 --- a/Literature Notes/A Review of Formal Methods applied to Machine Learning.md +++ b/Literature Notes/A Review of Formal Methods applied to Machine Learning.md @@ -69,5 +69,5 @@ Published: 2021-04 >[!example] >For instance, they are used at an industrial level in avionics [146], where the development processes of aircraft software systems have very stringent assurance and verification requirements mandated by international standards (i.e., DO-178C). - >- [ ] #Follow-Up + >- [x] #Follow-Up ✅ 2025-05-12