1 paper · 2 filters
Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S Meel
Formal XAI is an emerging field that focuses on providing explanations with mathematical guarantees for the decisions made by machine learning models. A significant amount of work…