{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:13:47Z","timestamp":1775873627596,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1811865,CCF-1762299,CCF-1918889"],"award-info":[{"award-number":["CCF-1811865,CCF-1762299,CCF-1918889"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454047","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:48Z","timestamp":1624553928000},"page":"328-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Web question answering with neurosymbolic program synthesis"],"prefix":"10.1145","author":[{"given":"Qiaochu","family":"Chen","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Lamoreaux","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinyu","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Durrett","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osbert","family":"Bastani","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Isil","family":"Dillig","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the 20th VLDB Conference. 487\u2013499","author":"Agarwal Rakesh","year":"1994","unstructured":"Rakesh Agarwal and Ramakrishnan Srikant . 1994 . Fast algorithms for mining association rules . In Proc. of the 20th VLDB Conference. 487\u2013499 . https:\/\/doi.org\/10.5555\/645920.672836 10.5555\/645920.672836 Rakesh Agarwal and Ramakrishnan Srikant. 1994. Fast algorithms for mining association rules. In Proc. of the 20th VLDB Conference. 487\u2013499. https:\/\/doi.org\/10.5555\/645920.672836"},{"key":"e_1_3_2_1_2_1","unstructured":"Greg Anderson Abhinav Verma Isil Dillig and Swarat Chaudhuri. 2020. Neurosymbolic Reinforcement Learning with Formally Verified Exploration. In NeurIPS.  Greg Anderson Abhinav Verma Isil Dillig and Swarat Chaudhuri. 2020. Neurosymbolic Reinforcement Learning with Formally Verified Exploration. In NeurIPS."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1181"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.12"},{"key":"e_1_3_2_1_5_1","volume-title":"GI Workshops, Saarbrcken. 126\u2013133","author":"Anton Tobias","year":"2005","unstructured":"Tobias Anton . 2005 . XPath-Wrapper Induction by generalizing tree traversal patterns. In Lernen, Wissensentdeckung und Adaptivitt (LWA) 2005 , GI Workshops, Saarbrcken. 126\u2013133 . Tobias Anton. 2005. XPath-Wrapper Induction by generalizing tree traversal patterns. In Lernen, Wissensentdeckung und Adaptivitt (LWA) 2005, GI Workshops, Saarbrcken. 126\u2013133."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389776"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-1279"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3022671.2984020"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2914770.2837666"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/371920.372182"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2740908.2742849"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133875"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242661"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385988"},{"key":"e_1_3_2_1_15_1","volume-title":"TabFact: A Large-scale Dataset for Table-based Fact Verification. In International Conference on Learning Representations (ICLR). Addis Ababa, Ethiopia.","author":"Chen Wenhu","year":"2020","unstructured":"Wenhu Chen , Hongmin Wang , Jianshu Chen , Yunkai Zhang , Hong Wang , Shiyang Li , Xiyou Zhou , and William Yang Wang . 2020 . TabFact: A Large-scale Dataset for Table-based Fact Verification. In International Conference on Learning Representations (ICLR). Addis Ababa, Ethiopia. Wenhu Chen, Hongmin Wang, Jianshu Chen, Yunkai Zhang, Hong Wang, Shiyang Li, Xiyou Zhou, and William Yang Wang. 2020. TabFact: A Large-scale Dataset for Table-based Fact Verification. In International Conference on Learning Representations (ICLR). Addis Ababa, Ethiopia."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338951"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1127"},{"key":"e_1_3_2_1_18_1","first-page":"109","article-title":"Roadrunner: Towards automatic data extraction from large web sites","volume":"1","author":"Crescenzi Valter","year":"2001","unstructured":"Valter Crescenzi , Giansalvatore Mecca , and Paolo Merialdo . 2001 . Roadrunner: Towards automatic data extraction from large web sites . In VLDB. 1 , 109 \u2013 118 . https:\/\/doi.org\/10.5555\/645927.672370 10.5555\/645927.672370 Valter Crescenzi, Giansalvatore Mecca, and Paolo Merialdo. 2001. Roadrunner: Towards automatic data extraction from large web sites. In VLDB. 1, 109\u2013118. https:\/\/doi.org\/10.5555\/645927.672370","journal-title":"VLDB."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1423"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45014-9_1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1246"},{"key":"e_1_3_2_1_22_1","unstructured":"Kevin Ellis Daniel Ritchie Armando Solar-Lezama and Josh Tenenbaum. 2018. Learning to infer graphics programs from hand-drawn images. In Advances in neural information processing systems. 6059\u20136068.  Kevin Ellis Daniel Ritchie Armando Solar-Lezama and Josh Tenenbaum. 2018. Learning to infer graphics programs from hand-drawn images. In Advances in neural information processing systems. 6059\u20136068."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409378"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007601113994"},{"key":"e_1_3_2_1_25_1","volume-title":"International Conference on Machine Learning. 1213\u20131222","author":"Gaunt Alexander L","year":"2017","unstructured":"Alexander L Gaunt , Marc Brockschmidt , Nate Kushman , and Daniel Tarlow . 2017 . Differentiable programs with neural libraries . In International Conference on Machine Learning. 1213\u20131222 . Alexander L Gaunt, Marc Brockschmidt, Nate Kushman, and Daniel Tarlow. 2017. Differentiable programs with neural libraries. In International Conference on Machine Learning. 1213\u20131222."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428269"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2011.5767842"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_29_1","unstructured":"Nitish Gupta Kevin Lin Dan Roth Sameer Singh and Matt Gardner. 2020. Neural module networks for reasoning over text. In ICLR.  Nitish Gupta Kevin Lin Dan Roth Sameer Singh and Matt Gardner. 2020. Neural module networks for reasoning over text. In ICLR."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D18-1514"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.1212303"},{"key":"e_1_3_2_1_32_1","volume-title":"Generating finite-state transducers for semi-structured data extraction from the web. Information systems, 23, 8","author":"Hsu Chun-Nan","year":"1998","unstructured":"Chun-Nan Hsu and Ming-Tzung Dung . 1998. Generating finite-state transducers for semi-structured data extraction from the web. Information systems, 23, 8 ( 1998 ), 521\u2013538. https:\/\/doi.org\/10.5555\/306766.306775 10.5555\/306766.306775 Chun-Nan Hsu and Ming-Tzung Dung. 1998. Generating finite-state transducers for semi-structured data extraction from the web. Information systems, 23, 8 (1998), 521\u2013538. https:\/\/doi.org\/10.5555\/306766.306775"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_21"},{"key":"e_1_3_2_1_34_1","unstructured":"Jeevana Priya Inala Yichen Yang James Paulos Yewen Pu Osbert Bastani Vijay Kumar Martin Rinard and Armando Solar-Lezama. 2020. Neurosymbolic Transformers for Multi-Agent Communication. In NeurIPS.  Jeevana Priya Inala Yichen Yang James Paulos Yewen Pu Osbert Bastani Vijay Kumar Martin Rinard and Armando Solar-Lezama. 2020. Neurosymbolic Transformers for Multi-Agent Communication. In NeurIPS."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3322485"},{"key":"e_1_3_2_1_36_1","volume-title":"Wrapper induction for information extraction","author":"Kushmerick Nicholas","unstructured":"Nicholas Kushmerick , Daniel S Weld , and Robert Doorenbos . 1997. Wrapper induction for information extraction . University of Washington Washington. Nicholas Kushmerick, Daniel S Weld, and Robert Doorenbos. 1997. Wrapper induction for information extraction. University of Washington Washington."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594333"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3394486.3403153"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.721"},{"key":"e_1_3_2_1_40_1","unstructured":"Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua B Tenenbaum and Jiajun Wu. 2019. The neuro-symbolic concept learner: Interpreting scenes words and sentences from natural supervision. In ICLR.  Jiayuan Mao Chuang Gan Pushmeet Kohli Joshua B Tenenbaum and Jiajun Wu. 2019. The neuro-symbolic concept learner: Interpreting scenes words and sentences from natural supervision. In ICLR."},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP","author":"Mintz Mike","unstructured":"Mike Mintz , Steven Bills , Rion Snow , and Daniel Jurafsky . 2009. Distant supervision for relation extraction without labeled data . In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP . Association for Computational Linguistics, Suntec , Singapore . 1003\u20131011. https:\/\/www.aclweb.org\/anthology\/P09-1113 Mike Mintz, Steven Bills, Rion Snow, and Daniel Jurafsky. 2009. Distant supervision for relation extraction without labeled data. In Proceedings of the Joint Conference of the 47th Annual Meeting of the ACL and the 4th International Joint Conference on Natural Language Processing of the AFNLP. Association for Computational Linguistics, Suntec, Singapore. 1003\u20131011. https:\/\/www.aclweb.org\/anthology\/P09-1113"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/301136.301191"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.614"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-1037"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1142"},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL)","author":"Patwardhan Siddharth","unstructured":"Siddharth Patwardhan and Ellen Riloff . 2007. Effective Information Extraction with Semantic Affinity Patterns and Relevant Regions . In Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL) . Association for Computational Linguistics , Prague, Czech Republic. 717\u2013727. https:\/\/www.aclweb.org\/anthology\/D07-1075 Siddharth Patwardhan and Ellen Riloff. 2007. Effective Information Extraction with Semantic Affinity Patterns and Relevant Regions. In Proceedings of the 2007 Joint Conference on Empirical Methods in Natural Language Processing and Computational Natural Language Learning (EMNLP-CoNLL). Association for Computational Linguistics, Prague, Czech Republic. 717\u2013727. https:\/\/www.aclweb.org\/anthology\/D07-1075"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1162"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N19-1082"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1264"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3380608"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2832249.2832359"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1410"},{"key":"e_1_3_2_1_53_1","unstructured":"Ameesh Shah Eric Zhan Jennifer J Sun Abhinav Verma Yisong Yue and Swarat Chaudhuri. 2020. Learning Differentiable Programs with Admissible Neural Heuristics. In NeurIPS.  Ameesh Shah Eric Zhan Jennifer J Sun Abhinav Verma Yisong Yue and Swarat Chaudhuri. 2020. Learning Differentiable Programs with Admissible Neural Heuristics. In NeurIPS."},{"key":"e_1_3_2_1_54_1","volume-title":"Houdini: Lifelong learning as program synthesis. In Advances in Neural Information Processing Systems. 8687\u20138698.","author":"Valkov Lazar","year":"2018","unstructured":"Lazar Valkov , Dipak Chaudhari , Akash Srivastava , Charles Sutton , and Swarat Chaudhuri . 2018 . Houdini: Lifelong learning as program synthesis. In Advances in Neural Information Processing Systems. 8687\u20138698. Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, and Swarat Chaudhuri. 2018. Houdini: Lifelong learning as program synthesis. In Advances in Neural Information Processing Systems. 8687\u20138698."},{"key":"e_1_3_2_1_55_1","volume-title":"Proceedings of the ACM on Programming Languages, 2, POPL","author":"Wang Xinyu","year":"2017","unstructured":"Xinyu Wang , Isil Dillig , and Rishabh Singh . 2017 . Program synthesis using abstraction refinement . Proceedings of the ACM on Programming Languages, 2, POPL (2017), 1\u201330. Xinyu Wang, Isil Dillig, and Rishabh Singh. 2017. Program synthesis using abstraction refinement. Proceedings of the ACM on Programming Languages, 2, POPL (2017), 1\u201330."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133886"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984030"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183713.3183729"},{"key":"e_1_3_2_1_59_1","unstructured":"Halley Young Osbert Bastani and Mayur Naik. 2019. Learning neurosymbolic generative models via program synthesis.  Halley Young Osbert Bastani and Mayur Naik. 2019. Learning neurosymbolic generative models via program synthesis."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02326-2_25"},{"key":"e_1_3_2_1_61_1","volume-title":"Semi-Supervised Learning Literature Survey. Computer Sciences","author":"Zhu Xiaojin","unstructured":"Xiaojin Zhu . 2005. Semi-Supervised Learning Literature Survey. Computer Sciences , University of Wisconsin-Madison. Xiaojin Zhu. 2005. Semi-Supervised Learning Literature Survey. Computer Sciences, University of Wisconsin-Madison."}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454047","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454047","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:07Z","timestamp":1750197787000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":61,"alternative-id":["10.1145\/3453483.3454047","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454047","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}