research
∙
05/04/2023
Program Synthesis for Robot Learning from Demonstrations
This paper presents a new synthesis-based approach for solving the Learn...
share
research
∙
03/02/2023
PLUNDER: Probabilistic Program Synthesis for Learning from Unlabeled and Noisy Demonstrations
Learning from demonstration (LfD) is a widely researched paradigm for te...
research
∙
09/03/2021
Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis
Multi-modal program synthesis refers to the task of synthesizing program...
research
∙
03/09/2021
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Serializability is a well-understood concurrency control mechanism that ...
research
∙
08/15/2019