Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects. - Ge Yan 001; Wenjie Wu; Chen Yuheng; Kaisen Pan; Xudong Lu; Zhou Zixiang; Wang Yuhan; Ruocheng Wang; Junchi Yan (CoRR, 2024)