Bingxu Xiao

According to our database, Bingxu Xiao authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers.

Manqing Zhang, Yunwei Dong, Lingru Zhou, Bingxu Xiao, Yepang Liu

CoRR, April, 2026

OODEval: Evaluating Large Language Models on Object-Oriented Design.

Bingxu Xiao, Yunwei Dong, Yiqi Tang, Manqing Zhang, Yifan Zhou, Chunyan Ma, Yepang Liu

CoRR, January, 2026

2025

Modeling and Pattern-Based Refinement of Software Architectures for Aerospace Control Systems.

Yunwei Dong, Bingxu Xiao, Xiao Wang, Xiaofeng Li

Proceedings of the 25th International Conference on Software Quality, 2025