a b s t r a c t - d ee p n e u r a l a l a l a l a l a t w o rk s（d nn s） EE t h e ir c o rr e c t n e ss。C o n s e qu e n t l y , t h e v e ri f i c a t i o n c o m - m un i t y h a s d e v i s e d m u l t i p l e t e c hn i qu e s a nd t oo l s f o r v e ri f y i ng D NN s .w h e n d nn v e ri f i e r s d i s d i s c o v e r a n i n i n i n i n i n p t t h t h t t t ri gg e r s a n e rr o r s a n e rr o r，t h a t h a t i s e s e s e s s y s y t o c o c o c o c o n f ir m; bu t w h e n t h e y r e p o r t t h a t n o e rr o r e x i sts , t h e r e i s n o w a y t o e n s u r e t h a t t h e v e ri f i c a t i o n t oo l i ts e l f i s n o t f l a w e d .A s m u l t i p l e e rr o r s h a v e a lr e a d y b ee n o b s e r v e d i n D NN v e ri f i c a t i o n t oo l s , t h i s c a ll s t h e a pp li c a b ili t y o f D NN v e ri f i c a t i o n i n t o qu e st i o n .I n t h i s w o rk, w e p r e s e n t a n o v e l m e c h a n i s m f o r e nh a n c i ng Si m p l e x - b a s e d D NN v e ri f i e r s wi t h p r oo f p r od u c t i o n c a p a b ili t i e s : t h e g e n e r a t i o n o f a n e a s y -t o -c h e c k wi t n e ss o f un s a t i s f i s f i a a b ili t y，w h i c h a tt e sts tt e sts t o t o t h e a a b s e a a b s e n c e n c e o f e rr s r s r s。o u r p r o f p r o o d o d o d o n i s b a s e s e n e n e n e n e n e n e f f f i c i c i c i c i e n t a d a p t a p t a t a t a t a t a t i o n o n o n o n o f t i o n o f t e w e ll -k n o w n f a rk a rk a rk a rk a rk a rk a s s'l e l e mma -li n e a r f un c t i o n s and nd nu m e ri c a l p r e c i s i o n e rr o r s。a s a p r oo f c o n c e p t e nn v e gh e d e c e d e c e c e c e c e. div>o u r e a t y s e g A. t y s a c a c a t y s e q -c ir e o n l y m i n i m o v e r h e a d a d。 div>