Skip to yearly menu bar Skip to main content


Search All 2021 Events
 

1 Results

<<   <   Page 1 of 1   >>   >
Poster
Thu 17:00 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
Kaidi Xu · Huan Zhang · Shiqi Wang · Yihan Wang · Suman Jana · Xue Lin · Cho-Jui Hsieh