TY  - RPRT
TI  - MLFMF: Data Sets for Machine Learning for Mathematical Formalization
AU  - Andrej Bauer
AU  - Matej Petković
AU  - Ljupčo Todorovski
PY  - 2023
UR  - https://arxiv.org/abs/2310.16005
ID  - 2310.16005
ER  -