MachineChecked

Lean repository linked

On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models

Sven Gowal, Krishnamurthy Dvijotham, Robert Stanforth, Rudy Bunel, Chongli Qin, Jonathan Uesato, Relja Arandjelovic, Timothy Mann, Pushmeet Kohli · 2018

arXiv:1810.12715 · arXiv

Lean formalisations (1)

AIQ-Kitware/aiq-veristressgt-formalization at 9cee3d9ebfcb

Linked by the repository’s formalization.yaml.

Audit: awaiting publication.

Report this listing