Machine-Learned Premise Selection for Lean.

Bartosz Piotrowski Ramon Fernández Mir Edward W. Ayers

Published in: CoRR (2023)

Keyphrases

machine learning
database
data mining
learning algorithm
multimedia
case study
high level
high quality
objective function
data structure
object recognition
selection scheme