From a8bb7736e2e86963bd5761cc05079447abeeaba6 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Tue, 23 Jun 2026 15:26:01 +0200 Subject: using official template + fixing language errors --- chapters/04-related-work.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'chapters/04-related-work.tex') diff --git a/chapters/04-related-work.tex b/chapters/04-related-work.tex index d43cb0e..8e0c760 100644 --- a/chapters/04-related-work.tex +++ b/chapters/04-related-work.tex @@ -36,5 +36,5 @@ the problem of neural network equivalence checking using SMT solvers, and define strict, epsilon, and argmax equivalence adopted in \textbf{\Cref{sec:benchmarks}}. They approach the equivalence problem by directly encoding an SMT formula and relying on internal heuristics of the solver to handle the search space. Instead, \textbf{VEIN} introduces an explicit, formally verified -preprocessing stage that reduces the networks to a normal form before encoding it into an SMT +preprocessing stage that reduces the networks to a normal form before encoding them into an SMT formula. -- cgit v1.2.3