Följ
Qirui Jin
Titel
Citeras av
Citeras av
År
Neural Network Verification with Branch-and-Bound for General Nonlinearities
Z Shi, Q Jin, Z Kolter, S Jana, CJ Hsieh, H Zhang
arXiv preprint arXiv:2405.21063, 2024
25*2024
Graft: Efficient inference serving for hybrid deep learning with SLO guarantees via DNN re-alignment
J Wu, L Wang, Q Jin, F Liu
IEEE Transactions on Parallel and Distributed Systems, 2023
142023
Exploiting Code Symmetries for Learning Program Semantics
K Pei, W Li, Q Jin, S Liu, S Geng, L Cavallaro, J Yang, S Jana
Forty-first International Conference on Machine Learning, 2024
7*2024
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3