\texttt{Range-Arithmetic}: Verifiable Deep Learning Inference on an Untrusted Party

Ali Rahimi, Babak H. Khalaj, Mohammad Ali Maddah-Ali

Verifiable computing (VC) has gained prominence in decentralized machine learning systems, where resource-intensive tasks like deep neural network (DNN) inference are offloaded to…