VPN: Verification of Poisoning in Neural Networks
Authors: Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu
Paper Information
| Title: | VPN: Verification of Poisoning in Neural Networks |
| Authors: | Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Neural networks, Poisoning attacks, Formal verification |
| Pages: | 12 |
| Talk: | Aug 01 09:30 (Session 26A) |
| Paper: |  |