Interessieren Sie sich für die Verifikation von künstlichen neuronalen Netzen? Dann lade ich Sie ein, den 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR) zu besuchen. Vor allem, weil mein Arbeitskollege Dominik Grundt auf dem SNR sein „work-in-progress“ Forschungspapier mit dem Titel „Verification of Sigmoidal Artificial Neural Networks using iSAT“ [...]
Neueste Kommentare