VPN: Verification of Poisoning in Neural Networks

Youcheng Sun, Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu. VPN: Verification of Poisoning in Neural Networks. In Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, editors, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Volume 13466 of Lecture Notes in Computer Science, pages 3-14, Springer, 2022. [doi]

Abstract

Abstract is missing.