Lean repository linked
The Lipschitz Constant of Self-Attention
arXiv:2006.04710 · arXiv
Lean formalisations (1)
AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.