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