TY  - RPRT
TI  - Predicting Lemmas in Generalization of IC3
AU  - Yuheng Su
AU  - Qiusong Yang
AU  - Yiwei Ci
PY  - 2024
UR  - https://arxiv.org/abs/2411.12749
ID  - 2411.12749
ER  -