PIRLLS: Pretraining with Imitation and RL Finetuning for Logic Synthesis. - Guande Dong; Jianwang Zhai; Hongtao Cheng; Xiao Yang; Chuan Shi 001; Kang Zhao (ASP-DAC, 2025)