Towards Explainability in Machine Learning: The Formal Methods Way
Sign Up to like & getrecommendations! Published in 2020 at "IT Professional"
DOI: 10.1109/mitp.2020.3005640
Abstract: & CLASSIFICATION IS A central discipline of machine learning (ML) and classifiers have become increasingly popular to support or replace human decisions. We encounter them as email spam detectors, as decision support systems, for example… read more here.
Keywords: methods way; explainability; formal methods; machine learning ... See more keywords