Verification and Training of Machine Learning Models by Abstract Interpretation
The aim of this thesis is to explore and develop the application of abstract interpretation techniques to the context of machine learning. While big data and artificial intelligence have become widespread technologies, the lack of formal verification systems represents a serious limitation. Machine learning models can be very accurate but…
