Essays about: "formell verifiering av maskininlärningsmodeller"

Found 2 essays containing the words formell verifiering av maskininlärningsmodeller.

  1. 1. Applications of Formal Explanations in ML

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Nikolaos Smyrnioudis; [2023]
    Keywords : Machine Learning; eXplainable Artifical Intelligence; Formal Verification of Machine Learning models; Maskininlärning; förklarbar artificiell intelligens; formell verifiering av maskininlärningsmodeller;

    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

  3. 2. Formally Verifying the Robustness of Machine Learning Models : A Comparative Study

    University essay from Linköpings universitet/Programvara och system

    Author : Linnea Lundström; [2020]
    Keywords : Machine learning; Formal verification; Robustness;

    Abstract : 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