Symmetry-Preserving Program Representations for Learning Code Semantics. - Kexin Pei; Weichen Li; Qirui Jin; Shuyang Liu; Scott Geng; Lorenzo Cavallaro; Junfeng Yang; Suman Jana (CoRR, 2023)

Graft: Efficient Inference Serving for Hybrid Deep Learning with SLO Guarantees via DNN Re-alignment. - Jing Wu; Lin Wang; Qirui Jin; Fangming Liu (CoRR, 2023)

Exploiting Code Symmetries for Learning Program Semantics. - Kexin Pei; Weichen Li; Qirui Jin; Shuyang Liu; Scott Geng; Lorenzo Cavallaro; Junfeng Yang; Suman Jana (ICML, 2024)

Graft: Efficient Inference Serving for Hybrid Deep Learning With SLO Guarantees via DNN Re-Alignment. - Jing Wu; Lin Wang 015; Qirui Jin; Fangming Liu (IEEE Trans. Parallel Distributed Syst., 2024)

Neural Network Verification with Branch-and-Bound for General Nonlinearities. - Zhouxing Shi; Qirui Jin; Zico Kolter; Suman Jana; Cho-Jui Hsieh; Huan Zhang 001 (TACAS (1), 2025)