VPN: Verification of Poisoning in Neural Networks

8 May 2022

Papers citing "VPN: Verification of Poisoning in Neural Networks"

2 / 2 papers shown

Title
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks Haoze Wu Omri Isac Aleksandar Zeljić Teruhiro Tagomori M. Daggitt ... Min Wu Min Zhang Ekaterina Komendantskaya Guy Katz Clark W. Barrett 45 30 0 25 Jan 2024
Verification of Neural Networks Local Differential Classification Privacy Roie Reshef Anan Kabaha Olga Seleznova Dana Drachsler-Cohen AAML 19 2 0 31 Oct 2023