Quantifying Factor Impacts on Exact Neural Network Verification with Mathematical Programming

KZ

Konstantinos Ziliaskopoulos Auburn University

AS

Alice Smith Auburn University

2025

2nd IEOM World Congress on Industrial Engineering and Operations Management