Lean repository linked
Robustness Verification of Polynomial Neural Networks
arXiv:2602.06105 · arXiv
Lean formalisations (1)
AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.