Picture for Andrej Bauer

Andrej Bauer

MLFMF: Data Sets for Machine Learning for Mathematical Formalization

Add code
Oct 24, 2023
Viaarxiv icon