Close

Presentation

Parallel Verification of Neural Networks Applied to Medical Imaging
DescriptionNeural network verification provides model robustness guarantees in the presence of noise. We generate verification specifications for medical imaging models based on the U-Net architecture and solve pixel-by-pixel verification problems on a massive scale. Efficiency of this NP-complete problem is studied using α,β-CROWN. We implement parallelization per pixel and demonstrate orders-of-magnitude speedup allowing faster characterization or increased timeout values for greater solving capability.
Event Type
ACM Student Research Competition: Graduate Poster
ACM Student Research Competition: Undergraduate Poster
Doctoral Showcase
Posters
TimeTuesday, 19 November 202412pm - 5pm EST
LocationB302-B305
Registration Categories
TP
XO/EX