ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback

Open in new window