NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023) - View it on GitHub