Not finding it? Sign in to also search OpenAlex live.
-
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 -
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 -
Transformers for CT Reconstruction From Monoplanar and Biplanar Radiographs2023 arXiv (Cornell University) preprint Computer Science Generative Adversarial Networks and Image Synthesis Open access
Firas Khader, Gustav Anton Müller‐Franzes, Sven Nebelung, Christiane Katharina Kuhl, Johannes Stegmaier, Daniel Truhn
0citations
12 results