diff options
Diffstat (limited to 'chapters')
| -rw-r--r-- | chapters/01-introduction.tex | 32 | ||||
| -rw-r--r-- | chapters/02-background.tex | 10 | ||||
| -rw-r--r-- | chapters/03-core.tex | 4 | ||||
| -rw-r--r-- | chapters/04-related-work.tex | 4 | ||||
| -rw-r--r-- | chapters/05-conclusion.tex | 4 | ||||
| -rw-r--r-- | chapters/background/01-neural-networks.tex | 4 | ||||
| -rw-r--r-- | chapters/background/02-interaction-nets.tex | 4 | ||||
| -rw-r--r-- | chapters/background/03-satisfiability-modulo-theories.tex | 4 |
8 files changed, 66 insertions, 0 deletions
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} diff --git a/chapters/02-background.tex b/chapters/02-background.tex new file mode 100644 index 0000000..c2d92b9 --- /dev/null +++ b/chapters/02-background.tex @@ -0,0 +1,10 @@ +\chapter{Background} +\label{ch:background} + +% This chapter covers the fundamental concepts and notions required to understand the work + +\input{chapters/background/01-neural-networks} + +\input{chapters/background/02-interaction-nets} + +\input{chapters/background/03-satisfiability-modulo-theories} diff --git a/chapters/03-core.tex b/chapters/03-core.tex new file mode 100644 index 0000000..09d9c90 --- /dev/null +++ b/chapters/03-core.tex @@ -0,0 +1,4 @@ +\chapter{Core} +\label{ch:core} + +% This chapter contains the core of the thesis, where the work is presented in details. diff --git a/chapters/04-related-work.tex b/chapters/04-related-work.tex new file mode 100644 index 0000000..1f01b8e --- /dev/null +++ b/chapters/04-related-work.tex @@ -0,0 +1,4 @@ +\chapter{Related Work} +\label{ch:related-work} + +% This chapter discusses related literature and positions this work within the field. diff --git a/chapters/05-conclusion.tex b/chapters/05-conclusion.tex new file mode 100644 index 0000000..d90f15c --- /dev/null +++ b/chapters/05-conclusion.tex @@ -0,0 +1,4 @@ +\chapter{Conclusion} +\label{ch:conclusion} + +% This chapter provides concluding remarks and potentially directions for future work. diff --git a/chapters/background/01-neural-networks.tex b/chapters/background/01-neural-networks.tex new file mode 100644 index 0000000..75bd8c4 --- /dev/null +++ b/chapters/background/01-neural-networks.tex @@ -0,0 +1,4 @@ +\section{Neural Networks} +\label{sec:neural-networks} + +% This section introduces Neural Networks diff --git a/chapters/background/02-interaction-nets.tex b/chapters/background/02-interaction-nets.tex new file mode 100644 index 0000000..268e441 --- /dev/null +++ b/chapters/background/02-interaction-nets.tex @@ -0,0 +1,4 @@ +\section{Interaction Nets} +\label{sec:interaction-nets} + +% This section introduces Interaction Nets diff --git a/chapters/background/03-satisfiability-modulo-theories.tex b/chapters/background/03-satisfiability-modulo-theories.tex new file mode 100644 index 0000000..b2c1416 --- /dev/null +++ b/chapters/background/03-satisfiability-modulo-theories.tex @@ -0,0 +1,4 @@ +\section{Satisfiability Modulo Theories} +\label{sec:satisfiability-modulo-theories} + +% This section introduces Satisfiability Modulo Theories |