ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback.

Bartosz Piotrowski, Josef Urban

Browse the full CADE paper archive.