159 citations · 235 across the 19 of their papers we have counts for
3 papers · 1 filter
Representing Partial Programs with Blended Abstract Semantics
Maxwell Nye, Yewen Pu, Matthew Bowers +3
Synthesizing programs from examples requires searching over a vast, combinatorial space of possible programs. In this search process, a key challenge is representing the behavior o…
Fusion 360 Gallery: A Dataset and Environment for Programmatic CAD Construction from Human Design Sequences
Karl D. D. Willis, Yewen Pu, Jieliang Luo +5
Parametric computer-aided design (CAD) is a standard paradigm used to design manufactured objects, where a 3D shape is represented as a program supported by the CAD software. Despi…
Program Synthesis with Pragmatic Communication
Yewen Pu, Kevin Ellis, Marta Kryven +2
Program synthesis techniques construct or infer programs from user-provided specifications, such as input-output examples. Yet most specifications, especially those given by end-us…