Prospective Compression in Human Abstraction Learning

arXiv:2605.09985v1 Announce Type: new Abstract: A core challenge in program synthesis is online library learning: the incremental acquisition of reusable abstractions under uncertainty about future task demands. Existing algorithms treat library learning as retrospective compression over a static...