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 -
Interactive Grounded Language Understanding in a Collaborative Environment: IGLU 20212022 UvA-DARE (University of Amsterdam) preprint Computer Science Speech and dialogue systems Open access
Julia Kiseleva, Ziming Li, Mohammad Aliannejadi, Shrestha Mohanty, Maartje ter Hoeve, Mikhail Burtsev, +13 more
5citations