Faculty of Mathematics and Physics, University of Ljubljana, Institute for Mathematics, Physics and Mechanics, Ljubljana, Slovenia; Faculty of Mathematics and Physics, University of Ljubljana, Department of Knowledge Technologies, Jožef Stefan Institute, Ljubljana, Slovenia
Andrej Bauer, Matej Petković, Ljupco Todorovski
recommendation system;formalized mathematics;proof assistant;Lean;Agda;link prediction;graph learning
MLFMF: Data Sets for Machine Learning for Mathematical Formalization