Petković, Matej

1. MLFMF: Data Sets for Machine Learning for Mathematical Formalization
   2023/10/24 by Andrej Bauer, Bauer, Andrej, Matej Petković +3 · 6 citations
   Computer Science · #Data Mining Algorithms and Applications #FOS: Computer and information sciences #Logic, programming, and type systems #Machine Learning (cs.LG) #Mathematics, Computing, and Information Processing