Andrej Bauer, Matej Petkovic, Ljupco Todorovski. MLFMF: Data Sets for Machine Learning for Mathematical Formalization. In Alice Oh, Tristan Naumann, Amir Globerson, Kate Saenko, Moritz Hardt, Sergey Levine, editors, Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023. 2023. [doi]
@inproceedings{BauerPT23,
title = {MLFMF: Data Sets for Machine Learning for Mathematical Formalization},
author = {Andrej Bauer and Matej Petkovic and Ljupco Todorovski},
year = {2023},
url = {http://papers.nips.cc/paper_files/paper/2023/hash/9efe8db7fab57e19eed25718abedbbd2-Abstract-Datasets_and_Benchmarks.html},
researchr = {https://researchr.org/publication/BauerPT23},
cites = {0},
citedby = {0},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans, LA, USA, December 10 - 16, 2023},
editor = {Alice Oh and Tristan Naumann and Amir Globerson and Kate Saenko and Moritz Hardt and Sergey Levine},
}