Concepedia

Differentiable Abstract Interpretation for Provably Robust Neural Networks

Matthew Mirman, Timon Gehr, Martin Vechev

International Conference on Machine Learning · 2018 · 310 citations · 11 references

Concepts

References

11

Deep Residual Learning for Image Recognition

Kaiming He, Xiangyu Zhang, Shaoqing Ren et al. · 2016 · 222.1K citations · Full text

, , +11

Automatic differentiation in PyTorch

Adam Paszke, Sam Gross, Soumith Chintala et al. · 2017 · 11.1K citations

, , +5

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

, , +8

Fashion-MNIST: a Novel Image Dataset for Benchmarking Machine Learning Algorithms

Kashif Rasul, Roland Vollgraf · arXiv (Cornell University) · 2017 · 6.1K citations · Full text

, , +10

Reading digits in natural images with unsupervised feature learning

Yuval Netzer · 2024 · 4.6K citations · Full text

, , +16