Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
تقدم هذه الورقة نهجاً للتحقق الرسمي للشبكات العصبية التناظرية تحت تأثير تغيرات العمليات باستخدام النطاقات متعددة الحدود (polynomial zonotopes) ونموذجاً قائماً على كثيرات الحدود، مما يقلل زمن التحقق بشكل كبير من أيام إلى ثوانٍ مع احتواء 99% من عينات التباين بدقة دون الاعتماد على محاكاة مونت كارلو.