Modeling and Pattern-Based Refinement of Software Architectures for Aerospace Control Systems. - Yunwei Dong; Bingxu Xiao; Xiao Wang; Xiaofeng Li (QRS Companion, 2025)

OODEval: Evaluating Large Language Models on Object-Oriented Design. - Bingxu Xiao; Yunwei Dong; Yiqi Tang; Manqing Zhang; Yifan Zhou; Chunyan Ma; Yepang Liu 001 (CoRR, 2026)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers. - Manqing Zhang; Yunwei Dong; Lingru Zhou; Bingxu Xiao; Yepang Liu 001 (CoRR, 2026)