Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Distribution of the number of citations over years.