Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski Ramon Fernández Mir Edward W. Ayers

Published in: TABLEAUX (2023)

Keyphrases

data sets
image processing
computational complexity
search space
probabilistic model
selection strategy