diff options
Diffstat (limited to '')
| -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 | ||||
| -rw-r--r-- | main.tex | 47 | ||||
| -rw-r--r-- | references.bib | 1 |
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 |