Human-Guided Complexity-Controlled Abstractions | Read Paper on Bytez