Web question answering with neurosymbolic program synthesis.

Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, Isil Dillig

Browse the full PLDI paper archive.