Yuheng Su, Qiusong Yang, Yiwei Ci: Predicting Lemmas in Generalization of IC3. DAC 2024: 208:1-208:6