diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-06-23 15:26:01 +0200 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-06-26 16:47:32 +0200 |
| commit | a8bb7736e2e86963bd5761cc05079447abeeaba6 (patch) | |
| tree | 0071214f224846057380838e3d609790785ea930 /chapters/04-related-work.tex | |
| parent | 11f14a4763533dbc24b0e98d115071036025d4f6 (diff) | |
| download | vein-a8bb7736e2e86963bd5761cc05079447abeeaba6.tar.gz vein-a8bb7736e2e86963bd5761cc05079447abeeaba6.zip | |
using official template + fixing language errorsthesis
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. |