most citedMLFMF: Data Sets for Machine Learning for Mathematical Formalization

2 citations · 2 across the 2 of their papers we have counts for

collaborators

2 papers

cs.LG2023★ 2 cited

MLFMF: Data Sets for Machine Learning for Mathematical Formalization

Andrej Bauer, Matej Petković, Ljupčo Todorovski

We introduce MLFMF, a collection of data sets for benchmarking recommendation systems used to support formalization of mathematics with proof assistants. These systems help humans…

math.LO2023

Spreen spaces and the synthetic Kreisel-Lacombe-Shoenfield-Tseitin theorem

Andrej Bauer

I take a constructive look at Dieter Spreen's treatment of effective topological spaces and the Kreisel-Lacombe-Shoenfield-Tseitin (KLST) continuity theorem. Transferring Spreen's…