Neural Network Precision Tuning Using Stochastic Arithmetic

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

Can We Avoid Rounding-Error Estimation in HPC Codes and Still Get Trustworthy Results?

von Jézéquel, Fabienne
Veröffentlicht in VSTTE (12. : 2020 : Online) Software verification (2020)