AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Distribution of the number of citations over years.