Data leakage is a well-known problem in machine learning. Data leakage o...
We propose a symbolic representation for support vector machines (SVMs) ...
It is known that deep neural networks (DNNs) classify an input image by
...
We review state-of-the-art formal methods applied to the emerging field ...
We study the problem of formally verifying individual fairness of decisi...
Nowadays, as machine-learned software quickly permeates our society, we ...
Recently, there is growing concern that machine-learning models, which
c...
Information about the memory locations accessed by a program is, for
ins...