Generative Artificial Intelligence Model for Multi-Granularity Power Data Simulation. - Yiwen Jiang; Sheng Xiang; Yihan Dai; Dawei Cheng (Int. J. Pattern Recognit. Artif. Intell., 2025)

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. - Dimitrios Stamatios Bouras; Yihan Dai; Tairan Wang; Yingfei Xiong 001; Sergey Mechtaev (CoRR, 2025)