Effiziente Verifikation neuronaler Netze durch einen CDCL-basierten Rahmen: DEEPCDCL
DEEPCDCL ist ein neuartiger Verifikationsrahmen für neuronale Netze, der auf dem Conflict-Driven Clause Learning (CDCL)-Algorithmus basiert und die Effizienz der Verifikation durch asynchrones Lernen und Management von Konfliktklauses erhöht.