Human-Guided Complexity-Controlled Abstractions