This seems to be relevant for premise selection https://arxiv.org/pdf/1606.04442.pdf but not found anything yet on premise collection