Zhaoxuan Liu

According to our database, Zhaoxuan Liu authored at least 3 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization.

Yuntian Liu, Tao Zhu, Xiaoyang Liu, Yu Chen, Zhaoxuan Liu, Qingfeng Guo, Jiashuo Zhang, Kangjie Bao, Tao Luo

CoRR, July, 2025

2024

Estimating visibility via differential regression network.

Wenjing Guo, Rui Guo, Zhilong Xu, Zhaoxuan Liu, Bo Ding, Dan Wu, Yuefeng Wang, Meiqi Li, Yaping Huang

Multim. Syst., December, 2024

2022

A Network-Based Conflict Resolution Approach for Unmanned Aerial Vehicle Operations in Dense Nonsegregated Airspace.

Zhaoxuan Liu, Kaiquan Cai, Jindong Xie, Yanbo Zhu

IEEE Intell. Transp. Syst. Mag., 2022