Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization

En 3 lignesÉtude théorique montrant que la certification exacte de circuits de seuil (depth ≥2) et de Transformers log-précision devient exponentiellement difficile avec une légère surparamétrisation. Ajouter une seule porte logique ou un surcoût architectural constant suffit à rendre les certificats exponentiels en dimension d'entrée. Validation empirique sur l'addition binaire.

Résumé généré par Claude — vérifié par l'humain