Zhongxu Zhao

According to our database, Zhongxu Zhao authored at least 3 papers between 2013 and 2026.

Collaborative distances:

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

2026

ATWGNNS: Graph simplified representation and learning of logical formula for premise selection.

Xingxing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Luis Martínez, Tianrui Li

Artif. Intell., 2026

2025

Integrating a simplified formula graph representation into a graph neural network model for premise selection.

Xingxing He, Zhongxu Zhao, Yongqi Lan, Yingfang Li, Li Zou, Jun Liu, Luis Martínez, Tianrui Li

Appl. Soft Comput., 2025

2013

Free-Space Optical Backplane Prototype for Telecommunication Equipment in the Petabit/s Range.

Santo Maggio, Qingnan Zhang, Zhongxu Zhao

Bell Labs Tech. J., 2013