The Fewer the Merrier: Pruning Preferred Operators with NoveltyAlexander TuisovMichael Katz2021IJCAI 2021