**Qirui Jin** qiruijin@gatech.edu [*Github*](https://github.com/C-lister)/[*Google Scholar*](https://scholar.google.com/citations?user=0g6YBJMAAAAJ) ![](images/avatar.jpg width="25%" border="2") I'm a first-year CS PhD student at [Georgia Institute of Technology](https://www.cc.gatech.edu/), advised by [Prof. Wenke Lee](https://wenke.gtisc.gatech.edu/). I also work closely with [Prof. Kexin Pei](https://sites.google.com/site/kexinpeisite/). My research interests include *AI Reasoning*, *AI for Code* and *AI Security*. I obtained my bachelor's degree from [University of Michigan](https://umich.edu/). Prior transferring to Umich, I studied at [Huazhong University of Science and Technology](https://www.hust.edu.cn). Publications =============================================================== (* Equal Contribution) + [*Neural Network Verification with Branch-and-Bound for General Nonlinearities*](https://arxiv.org/abs/2405.21063)
Zhouxing Shi*, *Qirui Jin**, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang
TACAS, 2025 + [*Exploiting Code Symmetries for Learning Program Semantics*](https://arxiv.org/abs/2308.03312)
Kexin Pei, Weichen Li*, *Qirui Jin**, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana
ICML, 2024 (*Spotlight Top-3.5%*) + [*Graft: Efficient inference serving for hybrid deep learning with SLO guarantees via DNN re-alignment*](https://ieeexplore.ieee.org/abstract/document/10347464)
Jing Wu, Lin Wang, *Qirui Jin*, Fangming Liu
IEEE Transactions on Parallel and Distributed Systems, 2023