\subsection{ONNX Translation}
\label{sec:translation}

% This subsection talks about the function used to translate ONNX to Inpla syntax
