Floating-Point Neural Network Verification at the Software Level
تقدم هذه الورقة NeuroCodeBench 2.0، وهو معيار مرجعي قائم على لغة C للتحقق من عمليات تنفيذ الشبكات العصبية ذات الفاصلة العائمة، مما يتيح أول تقييم صارم لأدوات التحقق البرمجية الحديثة ويوضح حدودها الحالية مع تسليط الضوء على التأثير الإيجابي للمعيار المرجعي على تطوير الأدوات.