NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking - Hu, Guangyu; Zhang, Wei; Zhang, Hongce (2023 ACM/IEEE 5th Workshop on Machine Learning for CAD (MLCAD), Machine Learning for CAD (MLCAD), 2023 ACM/IEEE 5th Workshop on, 2023)