no code implementations • 7 Sep 2021 • Amel Nestor Docena, Thomas Wahl, Trevor Pearce, Yunsi Fei
We demonstrate the impact of the use of solvers in terms of functionality and search efficiency, using a case study for the detection of Trojan attacks on Neural Networks.