A Hierarchical Circuit Symbolic Discovery Framework for Efficient Logic Optimization - Bai, Yinqi; Wang, Jie; Xialiang, Tong; Pan, Longdi; Pan, Jilai; Yuan, Mingxuan; Hao, Jianye (International Conference on Learning Representations, 2026)