From 7784e295a14a957e3e04cf2de7b6f4be0247992b Mon Sep 17 00:00:00 2001 From: ericmarin 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