\subsection{Soundness of Translation}
\label{sec:soundness-of-translation}

% This subsection gives the proof for ONNX-to-Inpla translation soundness
