Lean repository linked
Evaluating Robustness of Neural Networks with Mixed Integer Programming
arXiv:1711.07356 · arXiv
Lean formalisations (1)
AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.