Detecting Adversarial Data via Provable Adversarial Noise Amplification | ArxivCSExplorer