Neural Network Verification through Replication. - Mauro J. Sanchirico III; Xun Jiao; Chandrasekhar Nataraj (CoRR, 2020)

AMITE: A Novel Polynomial Expansion for Analyzing Neural Network Nonlinearities. - Mauro J. Sanchirico III; Xun Jiao; Chandrasekhar Nataraj (IEEE Trans. Neural Networks Learn. Syst., 2023)