Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Song, Xidan
3  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

QNNRepair: Quantized Neural Network Repair:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 320-339 , 2023
Link: https://doi.org/10.1007/..
 
?
2

AIREPAIR: A Repair Platform for Neural Networks:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Song, Xidan ; Sun, Youcheng ; Mustafa, Mustafa A.. - p. 98-101 , 2023
Link: https://doi.org/10.1109/..
 
?
3

CEG4N: Counter-Example Guided Neural Network Quantization R..:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,
Matos Jr., João Batista P. ; Bessa, Iury ; Manino, Edoardo.. - p. 29-45 , 2022
Link: https://doi.org/10.1007/..
 
1-3