most citedIncorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LG2020★ 2 cited

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples

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…