MLFMF: Data Sets for Machine Learning for Mathematical Formalization - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andrej Bauer' in GoogleThis author has not been identified. Look up 'Matej Petkovic' in GoogleThis author has not been identified. Look up 'Ljupco Todorovski' in Google

runs on WebDSL