Lean repository linked
Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks
arXiv:1802.04034 · arXiv
Lean formalisations (1)
AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.