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 -
MedMNIST v2 -- A large-scale lightweight benchmark for 2D and 3D biomedical image classification2021 arXiv (Cornell University) preprint Computer Science Advanced Neural Network Applications Open access
Jiancheng Yang, Rui Shi, Donglai Wei, Zequan Liu, Lin Zhao, Hanspeter Pfister, +1 more
73citations -
Assessing the Generalizability of a Performance Predictive Model2023 arXiv (Cornell University) preprint Computer Science Machine Learning and Data Classification Open access
Ana Nikolikj, Gjorgjina Cenikj, Gordana Ispirova, Diederick Vermetten, Ryan Dieter Lang, Andries Petrus Engelbrecht, +3 more
0citations -
Transfer Learning of Surrogate Models: Integrating Domain Warping and Affine Transformations2025 arXiv (Cornell University) preprint Computer Science Advanced Multi-Objective Optimization Algorithms Open access
Shuaiqun Pan, Diederick Vermetten, Manuel López‐Ibáñez, Thomas Bäck, Hao Wang
0citations