Skip to content
Sagan

Paper

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

Unreadunread

AI summary

arXiv:2605. 22964v1 Announce Type: new Abstract: As state-of-the-art neural networks are deployed on reasoning and algorithmic tasks, exactness guarantees become increasingly important.