activity
20172026
most citedCrossMoDA 2021 challenge: Benchmark of Cross-Modality Domain Adaptation techniques for Vestibular Schwannoma and Cochlea Segmentation

99 citations · 157 across the 46 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

NNV3: Expanding Neural Network Verification to New Architectures and Domains

Anne M. Tumlin, Samuel Sasaki, Ben Wooding +8

We present NNV3, the latest version of the Neural Network Verification (NNV) tool, a MATLAB framework for formal verification of deep learning models and learning-enabled cyber-phy…