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 -
LongHealth: A Question Answering Benchmark with Long Clinical Documents2024 arXiv (Cornell University) preprint Medicine Artificial Intelligence in Healthcare and Education Open access
Lisa C. Adams, Felix Busch, Tianyu Han, Jean-Baptiste Excoffier, Matthieu Ortala, Alexander Löser, +4 more
2citations -
Benchmark of thirteen bioinformatic pipelines for metagenomic virus diagnostics using datasets from clinical samples2021 medRxiv preprint Biochemistry, Genetics and Molecular Biology Genomics and Phylogenetic Studies Open access
Jutte J.C. de Vries, Julianne Rose Brown, Nicole Fischer, Igor A. Sidorov, Sofia Morfopoulou, Jiabin Huang, +24 more
2citations