💻 computer science
Veriphi: Attack-Guided Neural Network Verification with Dataset-Dependent Training Methods
यह शोध पत्र Veriphi को प्रस्तुत करता है, जो एक GPU-त्वरित सत्यापन प्रणाली है जो प्रतिकूल हमलों (adversarial attacks) को औपचारिक प्रमाणन (formal certification) के साथ जोड़ती है ताकि यह प्रदर्शित किया जा सके कि न्यूरल नेटवर्क प्रशिक्षण विधियों की प्रभावशीलता मौलिक रूप से डेटासेट पर निर्भर है, जो इस धारणा को चुनौती देती है कि प्रमाणित प्रशिक्षण (certified training) सार्वभौमिक रूप से प्रतिकूल प्रशिक्षण (adversarial training) से बेहतर प्रदर्शन करता है।