Andi Peng, Mycal Tucker, Eoin M. Kenny, Noga Zaslavsky, Pulkit Agrawal, Julie A. Shah: Human-Guided Complexity-Controlled Abstractions. NeurIPS 2023