TY - RPRT TI - Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization AU - Artur Back de Luca AU - Kimon Fountoulakis PY - 2026 UR - https://arxiv.org/abs/2605.22964 ID - 2605.22964 ER -