{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T02:17:51Z","timestamp":1775787471705,"version":"3.50.1"},"reference-count":55,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Maudsley Charity and Early Career Research"},{"DOI":"10.13039\/100013376","name":"Institute of Psychiatry, Psychology and Neuroscience, King\u2019s College London","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100013376","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009360","name":"King's College London","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009360","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62076100"],"award-info":[{"award-number":["62076100"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["x2rjD2220050"],"award-info":[{"award-number":["x2rjD2220050"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012245","name":"Science and Technology Planning Project of Guangdong Province","doi-asserted-by":"publisher","award":["2020B0101100002"],"award-info":[{"award-number":["2020B0101100002"]}],"id":[{"id":"10.13039\/501100012245","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CAAI-Huawei MindSpore Open Fund"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Audio Speech Lang. Process."],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/taslp.2023.3263784","type":"journal-article","created":{"date-parts":[[2023,4,4]],"date-time":"2023-04-04T20:35:54Z","timestamp":1680640554000},"page":"1499-1510","source":"Crossref","is-referenced-by-count":9,"title":["Generating Natural Language From Logic Expressions With Structural Representation"],"prefix":"10.1109","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0207-0278","authenticated-orcid":false,"given":"Xin","family":"Wu","sequence":"first","affiliation":[{"name":"School of Software Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1767-789X","authenticated-orcid":false,"given":"Yi","family":"Cai","sequence":"additional","affiliation":[{"name":"School of Software Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zetao","family":"Lian","sequence":"additional","affiliation":[{"name":"School of Software Engineering, South China University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4914-2934","authenticated-orcid":false,"given":"Ho-fung","family":"Leung","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0437-0557","authenticated-orcid":false,"given":"Tao","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Biostatistics and Health Informatics, Institute of Psychiatry, Psychology and Neuroscience, King's College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3115\/981311.981340"},{"key":"ref12","first-page":"5485","article-title":"Exploring the limits of transfer learning with a unified text-to-text transformer","volume":"21","author":"raffel","year":"2020","journal-title":"J Mach Learn Res"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S1351324997001502"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3115\/976931.976958"},{"key":"ref53","first-page":"65","article-title":"METEOR: An automatic metric for MT evaluation with improved correlation with human judgments","author":"banerjee","year":"0","journal-title":"Proc ACL Workshop Intrinsic Extrinsic Eval Measures Mach Transl Summarization"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.3115\/1073083.1073135"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.703"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-4012"},{"key":"ref10","first-page":"1877","article-title":"Language models are few-shot learners","author":"brown","year":"0","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref54","first-page":"1","article-title":"Automatic differentiation in pytorch","author":"paszke","year":"0","journal-title":"Proc Conf Neural Inf Process Syst Autodiff Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TASLP.2021.3087948"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.emnlp-main.272"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASLP.2020.3039606"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i14.17545"},{"key":"ref51","first-page":"5998","article-title":"Attention is all you need","author":"vaswani","year":"0","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1078"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P15-1150"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1014"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1159"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1075"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D18-1112"},{"key":"ref44","first-page":"3649","article-title":"Structural neural encoders for AMR-to-text generation","author":"damonte","year":"0","journal-title":"Proc Conf North Amer Chapter Assoc Comput Linguistics Hum Lang Technol"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3115\/1218955.1218969"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-1154"},{"key":"ref8","article-title":"Neural machine translation by jointly learning to align and translate","author":"bahdanau","year":"0","journal-title":"Proc 3rd Int Conf Learn Representations"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i6.16623"},{"key":"ref9","first-page":"3104","article-title":"Sequence to sequence learning with neural networks","author":"sutskever","year":"0","journal-title":"Proc 27th Int Conf Neural Inf Process Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/307988.307989"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923410"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P19-2054"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P16-4015"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/W19-8611"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30077-7_4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56343-4_5"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-acl.339"},{"key":"ref36","first-page":"1555","article-title":"Can AMR assist legal and logical reasoning","author":"schrack","year":"0","journal-title":"Proc Findings Assoc Comput Linguistics EMNLP"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-1150"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1112"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1162\/COLI_a_00257"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6243"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"ref1","author":"wos","year":"1984","journal-title":"Automated Reasoning"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1244"},{"key":"ref38","author":"gordon","year":"1993","journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic"},{"key":"ref24","first-page":"178","article-title":"Abstract meaning representation for sembanking","author":"banarescu","year":"0","journal-title":"Proc 7th Linguistic Annotation Workshop Interoperability Discourse"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.708"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-2002"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-1087"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6518"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.findings-emnlp.190"},{"key":"ref21","article-title":"Plug and play language models: A simple approach to controlled text generation","author":"dathathri","year":"0","journal-title":"Proc Int Conf Learn Representations"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/S17-2159"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/S17-2096"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1014"}],"container-title":["IEEE\/ACM Transactions on Audio, Speech, and Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6570655\/9970249\/10091889.pdf?arnumber=10091889","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T19:03:32Z","timestamp":1683572612000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10091889\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":55,"URL":"https:\/\/doi.org\/10.1109\/taslp.2023.3263784","relation":{},"ISSN":["2329-9290","2329-9304"],"issn-type":[{"value":"2329-9290","type":"print"},{"value":"2329-9304","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}