GitHub repository: klasleino/fast-geometric-projections
Primary language: Python
Description: Tool for certifying local robustness in deep networks.