Skip to content
NeurIPS 2026 planner

Poster · Sydney

FocusBranch: Combinatorial Branch-and-Bound for ℓ₀ Neural Network Robustness Verification

When
Thu 10 Dec 2026, 17:00–20:00 AEDT
Where
Hall 1-4, ICC Sydney
Exhibition Centre, Level 1
Session
Sydney Poster Session 6
Authors
Renwei Deng, Yang He, Linyi Li, Yuepeng Wang
Organisations
Simon Fraser University
QRS classification
Safety, fairness and privacy

Open in scheduleOfficial page