We propose a symbolic representation for support vector machines (SVMs) ...
We study the problem of formally verifying individual fairness of decisi...
We put forward a novel learning methodology for ensembles of decision tr...
We study the problem of formally verifying the robustness to adversarial...