diff options
Diffstat (limited to 'chapters/04-related-work.tex')
| -rw-r--r-- | chapters/04-related-work.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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. |