Authors Search About

Bauer, Andrej

1 publications

NeurIPS 2023 MLFMF: Data Sets for Machine Learning for Mathematical Formalization Andrej Bauer, Matej Petković, Ljupco Todorovski

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy