Abstract Interpretation-Based Feature Importance for Support Vector Machines
Abstract
,
Related papers
- Robustness Verification of Support Vector Machines SAS 2019
- Compiling for vector-thread architectures CGO 2008
- Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation PLDI 1990
- Abstracting abstract machines ICFP 2010
- Program analysis via efficient symbolic abstraction OOPSLA 2021
- Systematic abstraction of abstract machines JFP 2012
- Managed data: modular strategies for data abstraction Onward! 2012
- SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication PLDI 2013