3 citations · 3 across the 2 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2025
Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
Duo Zhou, Jorge Chavez, Hesun Chen +2
State-of-the-art neural network (NN) verifiers demonstrate that applying the branch-and-bound (BaB) procedure with fast bounding techniques plays a key role in tackling many challe…
cs.LG2023★ 3 cited
CoSDA: Continual Source-Free Domain Adaptation
Haozhe Feng, Zhaorui Yang, Hesun Chen +5
Without access to the source data, source-free domain adaptation (SFDA) transfers knowledge from a source-domain trained model to target domains. Recently, SFDA has gained populari…