Web question answering with neurosymbolic program synthesis. - Qiaochu Chen; Aaron Lamoreaux; Xinyu Wang 006; Greg Durrett; Osbert Bastani; Isil Dillig (PLDI, 2021)