A Topic Guided Pointer-Generator Model for Generating Natural Language Code Summaries. - Xin Wang; Xin Peng 001; Jun Sun 001; Yifan Zhao 008; Chi Chen; Jinkai Fan (CoRR, 2021)

An Integrated Method for Electric Power Data Cleaning and Anomaly Detection Based on Multidimensional Semantic Similarity and Deep Auto-Encoding. - Li Zheng; Xiaofang Wang; Jingxiong Miao; Jinkai Fan; Jun Xu (HPSC, 2024)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)