TY  - RPRT
TI  - Synthesizing Queries via Interactive Sketching
AU  - Osbert Bastani
AU  - Xin Zhang
AU  - Armando Solar-Lezama
PY  - 2021
UR  - https://arxiv.org/abs/1912.12659
ID  - 1912.12659
ER  -