activity
20242026
most citedEfficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees

10 citations · 11 across the 5 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

cs.LG2026

Mining Verdict Boundaries for Neural Network Verification

Jiawei Ren, Guanqin Zhang, Zhenya Zhang +1

Branch and Bound (BaB) aims to achieve complete verification of neural networks by adaptively partitioning the problem and applying off-the-shelf verifiers to subproblems. Its prob…

cs.CV2026

Knowledge Priors for Identity-Disentangled Open-Set Privacy-Preserving Video FER

Feng Xu, Xun Li, Lars Petersson +3

Facial expression recognition relies on facial data that inherently expose identity and thus raise significant privacy concerns. Current privacy-preserving methods typically fail i…