2 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Ivan Papusha, Rosa Wu, Joshua Brulé +3
There is great interest in using formal methods to guarantee the reliability of deep neural networks. However, these techniques may also be used to implant carefully selected input…