?
today
local_bar
search
Hesun Chen
MS student, University of Illinois at Urbana-Champaign
1 paper at NeurIPS 2025
Homepage
·
OpenReview
·
Semantic Scholar
·
Google Scholar
Poster Session 1
1 paper
Wednesday, December 3, 2025 · 11:00 AM → 2:00 PM
Exhibit Hall C,D,E
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
star
#3908
·
Duo Zhou, Jorge Chavez, Hesun Chen, Grani A. Hanasusanto, Huan Zhang
