Sökning: "Formal Verification of Machine Learning models"
Hittade 3 uppsatser innehållade orden Formal Verification of Machine Learning models.
1. Applications of Formal Explanations in ML
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : 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. LÄS MER
2. Investigating Machine Learning for verification of AMBA APB protocol.
Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknikSammanfattning : 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. LÄS MER
3. Formally Verifying the Robustness of Machine Learning Models : A Comparative Study
Master-uppsats, Linköpings universitet/Programvara och systemSammanfattning : 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. LÄS MER