Sivaramakrishnan, Vignesh

1 publications

L4DC 2023 Probabilistic Verification of ReLU Neural Networks via Characteristic Functions Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko Oishi, Panagiotis Tsiotras