thesis structure

10 files changed, 114 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
diff --git a/main.tex b/main.tex
new file mode 100644
index 0000000..dbc7999
--- /dev/null
+++ b/main.tex
@@ -0,0 +1,47 @@
+\documentclass[12pt,a4paper,twoside]{report}
+\usepackage[utf8]{inputenc}
+\usepackage[T1]{fontenc}
+\usepackage[english]{babel}
+\usepackage{graphicx}
+\usepackage{amsmath, amssymb, amsthm}
+\usepackage{cite}
+\usepackage[colorlinks=true, linkcolor=black, citecolor=black, urlcolor=black]{hyperref}
+\usepackage[nameinlink]{cleveref}
+\usepackage{xspace}
+\usepackage[colorinlistoftodos]{todonotes}
+% \usepackage[scaled=.83]{beramono} 
+\usepackage{lineno}
+
+\title{VEIN: VErification via Interaction Nets for Neural Networks}
+\author{Eric Marin}
+\date{\today}
+
+\begin{document}
+
+\maketitle
+
+\begin{abstract}
+	Summary
+\end{abstract}
+
+\tableofcontents
+
+% Introduction: Context -> Problem -> Solution -> Validation -> Outline
+\input{chapters/01-introduction}
+
+% Background: Concepts and notions
+\input{chapters/02-background}
+
+% Core: The main work
+\input{chapters/03-core}
+
+% Related Work: At the end, before conclusions
+\input{chapters/04-related-work}
+
+% Conclusion
+\input{chapters/05-conclusion}
+
+\bibliographystyle{plain}
+\bibliography{references}
+
+\end{document}
diff --git a/references.bib b/references.bib
new file mode 100644
index 0000000..ed5d88f
--- /dev/null
+++ b/references.bib
@@ -0,0 +1 @@
+% Empty bibliography file