ติดตาม
Qirui Jin
Qirui Jin
ยืนยันอีเมลแล้วที่ umich.edu - หน้าแรก
ชื่อ
อ้างโดย
อ้างโดย
ปี
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
29*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 35 (2), 280-296, 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
arXiv preprint arXiv:2308.03312, 2023
8*2023
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–3