From 6d4f1e541e5e630359bcb640fb37a64e6ec2f438 Mon Sep 17 00:00:00 2001
From: ericmarin <maarin.eric@gmail.com>
Date: Mon, 9 Mar 2026 15:15:41 +0100
Subject: thesis structure

---
 chapters/01-introduction.tex | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 chapters/01-introduction.tex

(limited to 'chapters/01-introduction.tex')

diff --git a/chapters/01-introduction.tex b/chapters/01-introduction.tex
new file mode 100644
index 0000000..946a78e
--- /dev/null
+++ b/chapters/01-introduction.tex
@@ -0,0 +1,32 @@
+\chapter{Introduction}
+\label{ch:introduction}
+
+This chapter provides an overview of the thesis...
+
+% This gives the reader useful information to understand the problem
+Verification of neural networks is very important...
+
+% This tells the reader the problem your solution addresses
+However, larger networks can be hard to process...
+
+% This tells the reader what you did
+We show a simple method to simplify big networks...
+
+% This tells the reader why what you did is correct
+We show that our simplification is sound...
+
+% This tells the reader the organisation of the thesis, namely what sections are there and what they contain
+\section{Outline}
+\label{sec:outline}
+This section outlines the organization of the thesis:
+\begin{itemize}
+	\item \textbf{\Cref{ch:background}}: Introduces key concepts to understand the contributions...
+	\begin{itemize}
+		\item \textbf{\Cref{sec:neural-networks}}: Introduces the concepts of neural networks and deep learning...
+		\item \textbf{\Cref{sec:interaction-nets}}: Introduces the interaction net computational model...
+		\item \textbf{\Cref{sec:satisfiability-modulo-theories}}: Introduces SMT solvers...
+	\end{itemize}
+	\item \textbf{\Cref{ch:core}}: Dives deeper into the implementation...
+	\item \textbf{\Cref{ch:related-work}}: Analyzes existing verification approaches...
+	\item \textbf{\Cref{ch:conclusion}}: Summarizes the findings and discusses future work...
+\end{itemize}
-- 
cgit v1.2.3

