2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…