2 citations · 2 across the 9 of their papers we have counts for
4 papers · 1 filter
Prospective Compression in Human Abstraction Learning
Leonardo Hernandez Cano, Ivan Zareski, Luisa El Amouri +6
A core challenge in program synthesis is online library learning: the incremental acquisition of reusable abstractions under uncertainty about future task demands. Existing algorit…
Online library learning in human visual puzzle solving
Pinzhe Zhao, Emanuele Sansone, Marta Kryven +1
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 vi…
Can AI Understand the Language of Origami?
Naaisha Agarwal, Yihan Wu, Xin Guan +10
Building AI systems that can plan, act, and create in the physical world requires more than pattern recognition. Such systems must reason about the generative mechanisms and constr…
Power Term Polynomial Algebra for Boolean Logic
Emanuele Sansone, Armando Solar-Lezama
We introduce power term polynomial algebra, a representation language for Boolean formulae designed to bridge conjunctive normal form (CNF) and algebraic normal form (ANF). The lan…