Abstract: Various embodiments include systems and methods to implement a process for generating vulnerability check information for performing vulnerability assessments associated with security vulnerabilities. Vulnerability information corresponding to a security vulnerability is input into a multi-headed neural network. An extractive summary of the vulnerability information is output via a vulnerability check head of the multi-headed neural network. Synthetic scan results forming a set of positive examples are generated based at least in part on the extractive summary. An inductive logic programming system is implemented that uses the positive examples and predefined negative examples as inputs to determine, using a set covering algorithm, a general logic program that matches the positive examples and does not match the negative examples.