Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization
New research shows that exact certification of neural networks—determining the smallest set of labeled examples needed to guarantee a learned hypothesis matches the target—becomes exponentially hard under minimal overpar…