I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

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/978-3-031-21222-2_3