Author of the publication

Assessing Heuristic Machine Learning Explanations with Model Counting.

, , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 267-278. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Hashing-Based Approaches to Approximate DNF-Counting., , and . FSTTCS, volume 93 of LIPIcs, page 41:1-41:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Assessing Heuristic Machine Learning Explanations with Model Counting., , , , and . SAT, volume 11628 of Lecture Notes in Computer Science, page 267-278. Springer, (2019)Constraint-Driven Explanations for Black-Box ML Models., , , , , and . AAAI, page 8304-8314. AAAI Press, (2022)Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract)., , and . IJCAI, page 6211-6215. ijcai.org, (2019)DPSampler: Exact Weighted Sampling Using Dynamic Programming., , and . IJCAI, page 1795-1803. ijcai.org, (2022)On Uniformly Sampling Traces of a Transition System., , and . ICCAD, page 108:1-108:9. IEEE, (2020)On Symbolic Approaches for Computing the Matrix Permanent., , and . CP, volume 11802 of Lecture Notes in Computer Science, page 71-90. Springer, (2019)