MLFMF: Data Sets for Machine Learning for Mathematical Formalization - Bauer, Andrej; Petković, Matej; Todorovski, Ljupco (Advances in Neural Information Processing Systems, 2023)