ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

Piotrowski, B., Urban, J.

PIOTROWSKI, B. and J. URBAN. ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback. In: Automated Reasoning. 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, 2018-07-14/2018-07-17. Basel: Springer, 2018. p. 566-574. LNAI. vol. 10900. ISSN 0302-9743. ISBN 978-3-319-94204-9.

URL: https://link.springer.com/chapter/10.1007/978-3-319-94205-6_37