Not finding it? Sign in to also search OpenAlex live.
-
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Mark Niklas Müller, Christopher Brix, Stanley Bak, Changliu Liu, Taylor Thomas Johnson
28citations -
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, +5 more
4citations -
Validating a low-cost, open-source, locally manufactured workstation and computational pipeline for automated histopathology evaluation using deep learning2023 bioRxiv (Cold Spring Harbor Laboratory) preprint Computer Science AI in cancer detection Open access
Divya Choudhury, James M. Dolezal, Emma Dyer, Sara E. Kochanny, Siddi Ramesh, Frederick Matthew Howard, +6 more
1citations
7 results