01-neural-networks.tex « background « chapters - vein.git - VEIN: VErification via Interaction Nets

summary refs log tree commit diff

path: root/chapters/background/01-neural-networks.tex

blob: 75bd8c44679a71a770da54546083a1ca699a4d79 (plain) (blame)

\section{Neural Networks}
\label{sec:neural-networks}

% This section introduces Neural Networks