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/02-background.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'chapters/02-background.tex') diff --git a/chapters/02-background.tex b/chapters/02-background.tex index ca6160e..c306e2e 100644 --- a/chapters/02-background.tex +++ b/chapters/02-background.tex @@ -1,9 +1,9 @@ \chapter{Background} \label{ch:background} -This chapter contains the background theory necessary to understand the rest of the thesis such as: +This chapter contains the background theory necessary to understand the rest of the thesis, such as neural networks (\textbf{\Cref{sec:neural-networks}}), interaction nets -(\textbf{\Cref{sec:interaction-nets}}) and SMT solvers (\textbf{\Cref{sec:satisfiability-modulo-theories}}). +(\textbf{\Cref{sec:interaction-nets}}), and SMT solvers (\textbf{\Cref{sec:satisfiability-modulo-theories}}). \input{chapters/background/01-neural-networks} -- cgit v1.2.3