A Graph Enhanced Symbolic Discovery Framework For Efficient Logic Optimization - Bai, Yinqi; Wang, Jie; Chen, Lei; Wang, Zhihai; Kuang, Yufei; Yuan, Mingxuan; HAO, Jianye; Wu, Feng (International Conference on Learning Representations, 2025)