Online library learning in human visual puzzle solving
Pinzhe Zhao, Emanuele Sansone, Marta Kryven, Bonan Zhao

TL;DR
This paper investigates how humans develop and reuse abstractions called helpers in visual puzzle solving, demonstrating that online library learning enhances problem-solving efficiency and flexibility.
Contribution
It introduces the concept of online library learning in human visual problem solving and shows how humans adaptively create and refine helpers to improve performance.
Findings
Helpers become more selective and efficient with experience.
Access to helpers enables solving otherwise difficult puzzles.
Human decision times correlate with program induction model estimates.
Abstract
When learning a novel complex task, people often form efficient reusable abstractions that simplify future work, despite uncertainty about the future. We study this process in a visual puzzle task where participants define and reuse helpers -- intermediate constructions that capture repeating structure. In an online experiment, participants solved puzzles of increasing difficulty. Early on, they created many helpers, favouring completeness over efficiency. With experience, helper use became more selective and efficient, reflecting sensitivity to reuse and cost. Access to helpers enabled participants to solve puzzles that were otherwise difficult or impossible. Computational modelling shows that human decision times and number of operations used to complete a puzzle increase with search space estimated by a program induction model with library learning. In contrast, raw program length…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsTeaching and Learning Programming · Software Engineering Research · Artificial Intelligence in Games
