5 papers
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…
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…
OrigamiBench: An Interactive Environment to Synthesize Flat-Foldable Origamis
Naaisha Agarwal, Yihan Wu, Yichang Jian +7
Building AI systems that can plan, act, and create in the physical world requires more than pattern recognition. Such systems must understand the causal mechanisms and constraints…
Collapse-Proof Non-Contrastive Self-Supervised Learning
Emanuele Sansone, Tim Lebailly, Tinne Tuytelaars
We present a principled and simplified design of the projector and loss function for non-contrastive self-supervised learning based on hyperdimensional computing. We theoretically…