HardCore Generation: Generating Hard UNSAT Problems for Data Augmentation - Cotnareanu, Joseph; Zhang, Zhanguang; Zhen, Hui-Ling; Zhang, Yingxue; Coates, Mark (Advances in Neural Information Processing Systems, 2024)