Dario Guidotti

icon indicating an email [email protected]

icon company University of Sassari icon location I am an Assistant Professor at University of Sassari. My research topics are Artificial Intelligence and Machine Learning.

Results 2 issues of Dario Guidotti

Problem with very sparse network

2 comment

Hello, I am using MIPVerify to test the robustness of very sparse networks (i.e., in which many of the weights are 0 or near to 0, for example, 10^-8). When...

System Error using "find_adversarial_example"

2 comment

Hello, I was trying to use "find_adversarial_example" on a fully connected network and I have came across this error: """""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""" [notice | MIPVerify]: Attempting to find adversarial example. Neural net...