Novice Type Error Diagnosis with Natural Language Models. - Chuqin Geng; Haolin Ye; Yixuan Li; Tianyu Han; Brigitte Pientka; Xujie Si (APLAS, 2022)

Scalar Invariant Networks with Zero Bias. - Chuqin Geng; Xiaojie Xu; Haolin Ye; Xujie Si (NeurReps, 2023)

An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. - Haolin Ye (SPLASH Companion, 2023)

A Comparative Study between FPGA and DSP for the Efficient Implementation of FIR Filters. - Haolin Ye; Celimuge Wu; Tsutomu Yoshinaga (CANDARW, 2024)

Learning Minimal NAP Specifications for Neural Network Verification. - Chuqin Geng; Zhaoyue Wang; Haolin Ye; Saifei Liao; Xujie Si (CoRR, 2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving. - Chuqin Geng; Haolin Ye; Yihan Zhang; Brigitte Pientka; Xujie Si (CoRR, 2024)

HetHub: A Heterogeneous distributed hybrid training system for large-scale models. - Si Xu; Zixiao Huang; Yan Zeng; Shengen Yan; Xuefei Ning; Haolin Ye; Sipei Gu; Chunsheng Shui; Zhezheng Lin; Hao Zhang; Sheng Wang; Guohao Dai; et al. (CoRR, 2024)

Learning Minimal Neural Specifications. - Chuqin Geng; Zhaoyue Wang; Haolin Ye; Xujie Si (NeuS, 2025)

Learning Interpretable Logic Rules from Deep Vision Models. - Chuqin Geng; Yuhe Jiang; Ziyu Zhao 006; Haolin Ye; Zhaoyue Wang; Xujie Si (CoRR, 2025)

Extracting Interpretable Logic Rules from Graph Neural Networks. - Chuqin Geng; Zhaoyue Wang; Ziyu Zhao 006; Haolin Ye; Xujie Si (CoRR, 2025)