Hunting for Truth: Analyzing Explanation Methods in Learning-based Vulnerability Discovery.
Tom GanzPhilipp RallMartin HärterichKonrad RieckPublished in: EuroS&P (2023)
Keyphrases
- empirical studies
- learning process
- prior knowledge
- significant improvement
- computational cost
- learning algorithm
- neural network
- explanation based learning
- learning systems
- logic programs
- discriminative learning
- supervised learning
- preprocessing
- reinforcement learning
- web services
- knowledge discovery
- data mining techniques
- active learning
- knowledge acquisition
- semi supervised learning
- mobile learning
- learning tasks
- learning problems
- learning models
- inductive inference
- knowledge base