From a8bb7736e2e86963bd5761cc05079447abeeaba6 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
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

