119 followers
RT @taylorjohnson: Stan @StanleyBak & Tran presented our @verivital papers at @confCAV #cav20 yesterday: Verification of Deep Convolutiona…
RT @taylorjohnson: Stan @StanleyBak & Tran presented our @verivital papers at @confCAV #cav20 yesterday: Verification of Deep Convolutiona…
RT @taylorjohnson: Stan @StanleyBak & Tran presented our @verivital papers at @confCAV #cav20 yesterday: Verification of Deep Convolutiona…
Stan @StanleyBak & Tran presented our @verivital papers at @confCAV #cav20 yesterday: Verification of Deep Convolutional Neural Networks Using ImageStars https://t.co/bZbIlf9CL5 Improved Geometric Path Enumeration for Verifying ReLU Neural Networks h