TY - RPRT TI - \texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party AU - Ali Rahimi AU - Babak H. Khalaj AU - Mohammad Ali Maddah-Ali PY - 2026 UR - https://arxiv.org/abs/2505.17623 ID - 2505.17623 ER -