Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
यह शोध पत्र \textsc{HiTaB} को प्रस्तुत करता है, जो एक नवीन सत्यापन ढांचा (verification framework) है जो पहुंच विश्लेषण (reachability analysis) और सुरक्षा प्रमाणन (safety certification) के लिए अधिक सटीक, पदानुक्रमित एंड-टू-एंड टेलर बाउंड्स (hierarchical end-to-end Taylor bounds) प्रदान करने के लिए न्यूरल नेटवर्क वक्रता (neural network curvature) की लिप्सचिट्ज़ निरंतरता (Lipschitz continuity) का व्यवस्थित रूप से लाभ उठाता है।