From c3a19a4c5416e4456ea5d96426564145ccf0b0b7 Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 7 Jul 2025 11:31:22 -0400 Subject: [PATCH] vault backup: 2025-07-07 11:31:22 --- .../A Review of Formal Methods applied to Machine Learning.md | 2 +- 1 file changed, 1 insertion(+), 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 309e88e3d..d37844155 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 @@ -47,7 +47,7 @@ That way, if a safety condition is violated, the SMT solver will pick it up as a counter example. MILP based solvers are Mixed Integer Linear Programming solvers. MILPs use -linear programming where certain constraints are integers to +linear programming where certain constraints are integers to reduce the solving space. **What is the supporting evidence?**