Tag: VNN-COMP

SBU Associate Professor Stanley Bak led a team of researchers who designed a software tool that won awards at the International Verification of Neural Networks Competition