notesum.ai

Published at December 4

cs.LG

cs.AI

cs.SE

Released Date: December 4, 2024

Authors: Xingjian Zhou¹, Hongji Xu², Andy Xu¹, Zhouxing Shi¹, Cho-Jui Hsieh¹, Huan Zhang³

Aff.: ¹University of California, Los Angeles; ²Duke University; ³University of Illinois Urbana-Champaign

Term	Definition
Instance	An instance $(f,{\bm{x}}_{0},y,{\epsilon})$ contains an NN $f$ and a property to verify as Eq. (5).
Counterexample (CEX)	A counterexample ${\bm{x}}_{\text{cex}}$ violates the property to verify as Eq. (6).
Hidden counterexample	A hidden counterexample is a pre-defined counterexample which satisfies Eq. (6) and cannot be easily found by adversarial attacks as Eq. (7).
Unverifiable instance	An unverifiable instance contains a hidden counterexample deliberately planted.
Clean instance	A clean instance does not contain a pre-defined counterexample.
Verified	An instance is claimed as verified if an NN verifier determines that Eq. (5) provably holds.
Falsified	An instance is claimed as falsified if a counterexample which violates Eq. (5) is found.