AMITE: A Novel Polynomial Expansion for Analyzing Neural Network Nonlinearities

Mauro J. Sanchirico, Xun Jiao, C. Nataraj

Polynomial expansions are important in the analysis of neural network nonlinearities. They have been applied thereto addressing well-known difficulties in verification, explainabil…