Abstract Interpretation-Based Feature Importance for SVMs

Abhinandan Pal, Francesco Ranzato, Caterina Urban +1

We propose a symbolic representation for support vector machines (SVMs) by means of abstract interpretation, a well-known and successful technique for designing and implementing st…