automated theorem proving, Bayesian optimisation, Heuristic Configuration, premise selection, Sumo Inference Engine (SInE).