cs.LG cs.AI
SAVER: A Toolbox for Sampling-Based, Probabilistic Verification of Neural Networks
Vignesh Sivaramakrishnan Krishna C. Kalagarla Rosalyn Devonport Joshua Pilipovsky Panagiotis Tsiotras Meeko Oishi