Amir M. Mir, Evaldas Latoskinas, Georgios Gousios: ManyTypes4Py: A Benchmark Python Dataset for Machine Learning-based Type Inference. MSR 2021: 585-589