SigmaCam: Exact Decision Boundary Extraction for DNNs with Smooth Nonlinearities. - Nikkat Afrin; Mohammadzubair Khan; Likun Xia; Yading Yuan; Ming Ma (IJCNN, 2025)