4 citations · 4 across the 10 of their papers we have counts for
1 paper · 1 filter
Tianhao Wei, Hanjiang Hu, Luca Marzari +4
Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-outp…