Abstract Interpretation-Based Feature Importance for Support Vector Machines.
Abhinandan PalFrancesco RanzatoCaterina UrbanMarco ZanellaPublished in: VMCAI (1) (2024)
Keyphrases
- feature importance
- abstract interpretation
- support vector
- termination analysis
- feature selection
- random forest
- static analysis
- support vector machine
- model checking
- active rules
- reasoning engine
- dynamic analysis
- relevance feedback
- training examples
- active databases
- semi supervised
- multi class
- classification accuracy
- decision trees