Library learning compresses a given corpus of programs by extracting common structure
from the corpus into reusable library functions. Prior work on library learning suffers from two …

This paper presents a new synthesis-based approach for batch image processing. Unlike
existing tools that can only apply global edits to the entire image, our method can apply fine …

The goal of programmatic Learning from Demonstration (LfD) is to learn a policy in a
programming language that can be used to control a robot's behavior from a set of user …

We propose a new synthesis algorithm that can efficiently search programs with local
variables (eg, those introduced by lambdas). Prior bottom-up synthesis algorithms are not …

Prior work in programming-by-demonstration (PBD) has explored ways to enable end-users
to create custom automation without needing to write code. We propose a new end-user …

Effective meetings are effortful, but traditional videoconferencing systems offer little support
for reducing this effort across the meeting lifecycle. Generative AI (GenAI) has the potential …

In the era of Big Data, web automation is frequently used by data scientists, domain experts,
and programmers to complete time-consuming data collection tasks. However, develo** …