ATPboost: learning premise selection in binary setting with ATP feedback
scientific article; zbMATH DE number 6958123