EasyChair Smart Slide
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback
ATPboost: Learning Premise Selection in Binary Setting with ATP Feedback