Assessing Heuristic Machine Learning Explanations with Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva. Assessing Heuristic Machine Learning Explanations with Model Counting. In Mikolás Janota, Inês Lynce, editors, Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings. Volume 11628 of Lecture Notes in Computer Science, pages 267-278, Springer, 2019. [doi]

This author has not been identified. Look up 'Nina Narodytska' in GoogleThis author has not been identified. Look up 'Aditya A. Shrotri' in GoogleThis author has not been identified. Look up 'Kuldeep S. Meel' in GoogleThis author has not been identified. Look up 'Alexey Ignatiev' in GoogleThis author has not been identified. Look up 'João Marques-Silva' in Google

runs on WebDSL