Qirui Jin

According to our database, Qirui Jin authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Neural Network Verification with Branch-and-Bound for General Nonlinearities.

Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Graft: Efficient Inference Serving for Hybrid Deep Learning With SLO Guarantees via DNN Re-Alignment.

Jing Wu, Lin Wang, Qirui Jin, Fangming Liu

IEEE Trans. Parallel Distributed Syst., February, 2024

Exploiting Code Symmetries for Learning Program Semantics.

Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana

Proceedings of the Forty-first International Conference on Machine Learning, 2024

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

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