Synthesizing Tasks for Block-based Programming - Ahmed, Umair; Christakis, Maria; Efremov, Aleksandr; Fernandez, Nigel; Ghosh, Ahana; Roychoudhury, Abhik; Singla, Adish (Advances in Neural Information Processing Systems, 2020)