Essays about: "Formal Verification of Machine Learning models"
Found 3 essays containing the words Formal Verification of Machine Learning models.
-
1. Applications of Formal Explanations in ML
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : The most performant Machine Learning (ML) classifiers have been labeled black-boxes due to the complexity of their decision process. eXplainable Artificial Intelligence (XAI) methods aim to alleviate this issue by crafting an interpretable explanation for a models prediction. READ MORE
-
2. Investigating Machine Learning for verification of AMBA APB protocol.
University essay from Lunds universitet/Institutionen för elektro- och informationsteknikAbstract : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. READ MORE
-
3. Formally Verifying the Robustness of Machine Learning Models : A Comparative Study
University essay from Linköpings universitet/Programvara och systemAbstract : Machine learning models have become increasingly popular in recent years, and not without reason. They enable software to become more powerful, and with less human involvement. As a consequence however, the actions of the software are hard for a human to understand and anticipate. READ MORE
