Scalable Verification of Social Explainable AI by Variable Abstraction.

Wojciech Jamroga, Yan Kim, Damian Kurpiewski

Browse the full ICAART paper archive.