Efficient Version Space Algorithms for Human-in-the-loop Model Development. - Palma, Luciano Di; Diao, Yanlei; Liu, Anna (ACM Transactions on Knowledge Discovery from Data, 2024)