Fingerprint
Untersuchen Sie die Forschungsthemen von „A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community“. Zusammen bilden sie einen einzigartigen Fingerprint.- sortieren
- Gewicht:
- Alphabetisch
A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community
Sudeep Kanav, Jan Křetínský, Sabine Rieder
Publikation: Beitrag in Buch/Bericht/Konferenzband › Kapitel › Begutachtung