activity
20182023
most citedFeature Importance Estimation with Self-Attention Networks

20 citations · 67 across the 9 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

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…