Neural Network Precision Tuning Using Stochastic Arithmetic

von Ferro, Quentin
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)