High Performance Decoupling Current Control by Linear Extended State Observer for Three-Phase Grid-Connected Inverter With an LCL Filter. - Hui Zhang 037; Jiaheng Xian; Junwei Shi; Shaonan Wu; Zhixun Ma (IEEE Access, 2020)

Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation. - Shaonan Wu; Shuai Lu; Yeyun Gong; Nan Duan; Ping Wei (ICLR, 2025)