Aufdeckung der Grenzen von Proof Sharing für neuronale Netzwerke

arXiv:2608.19351v1 Ankündigungstyp: neu Abstract: Robustheitsprüfung von neuronalen Netzwerken ist zunehmend wichtig, aufgrund ihres Einsatzes in vielen kritischen Bereichen. In bestimmten Szenarien hat sich gezeigt, dass Proof Sharing unvollständige Verifikationstechniken durch Wiederverwendung von Zwischenschicht-Abstraktion beschleunigt