Hello Everyone, I am trying to use MIPVerify library for neural network verification against adversarial attacks. My goal is to replace the ReLU function by a trainable mask that depends on the input image. Therefore for layer i, the activation of this layer instead of max(0, w_i^\top \cdot x_i) is…

Incorrect Infeasibility Status While Using MIPVerify

jd-foster January 20, 2023, 5:16am 2

Topic		Replies	Views
JuMP: infeasibility ray when variable bounds are present Optimization (Mathematical)	2	1317	July 11, 2018
Ipopt infeasibility on travis-ci Optimization (Mathematical)	2	776	June 13, 2018
JuMP --> Cbc infeasibility due to too many (valid) constraints? Optimization (Mathematical)	6	1607	November 8, 2017
Is not having the LHS in some constraints in the LP problematic? Optimization (Mathematical) jump	2	569	January 31, 2017
Solver iterates then declares model infeasible - what could explain this behaviour for a linear problem? Optimization (Mathematical)	7	1658	November 5, 2019