NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking | IEEE Conference Publication | IEEE Xplore