1 2 3 4
\subsection{Soundness of Translation} \label{sec:soundness-of-translation} % This subsection gives the proof for ONNX-to-Inpla translation soundness