Neural Network Precision Tuning Using Stochastic Arithmetic

Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski. Neural Network Precision Tuning Using Stochastic Arithmetic. In Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi, editors, Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Volume 13466 of Lecture Notes in Computer Science, pages 164-186, Springer, 2022. [doi]

Authors

Quentin Ferro

This author has not been identified. Look up 'Quentin Ferro' in Google

Stef Graillat

This author has not been identified. Look up 'Stef Graillat' in Google

Thibault Hilaire

This author has not been identified. Look up 'Thibault Hilaire' in Google

Fabienne Jézéquel

This author has not been identified. Look up 'Fabienne Jézéquel' in Google

Basile Lewandowski

This author has not been identified. Look up 'Basile Lewandowski' in Google