{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:45:28Z","timestamp":1755801928302,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T00:00:00Z","timestamp":1697760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,20]]},"DOI":"10.1145\/3650400.3650419","type":"proceedings-article","created":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T08:33:18Z","timestamp":1713342798000},"page":"111-117","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Integral Calculation based on Transformer and Prior Knowledge"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5767-3327","authenticated-orcid":false,"given":"Zhaomin","family":"Zhu","sequence":"first","affiliation":[{"name":"School of Electronic Information and Automation, Guilin University Of Aerospace Technology, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1783-4661","authenticated-orcid":false,"given":"Lin","family":"Lu","sequence":"additional","affiliation":[{"name":"School of Computer Engineering, Guangxi University, China"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-3760-6174","authenticated-orcid":false,"given":"Qi","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Machinery and Shipbuilding, Beibu Gulf University, China"}]}],"member":"320","published-online":{"date-parts":[[2024,4,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Guo Q. Qian Y. Liang X. She Y. Li D. & Liang J. . 2019. Logic could be learned from images."},{"key":"e_1_3_2_1_2_1","unstructured":"Madsen A. & Johansen A. R. . 2020. Neural arithmetic units."},{"key":"e_1_3_2_1_3_1","unstructured":"Evans R. Saxton D. Amos D. Kohli P. & Grefenstette E. . 2018. Can neural networks understand logical entailment?."},{"key":"e_1_3_2_1_4_1","unstructured":"Saxton D. Grefenstette E. Hil F. & Kohli P. . 2019. Analysing mathematical reasoning abilities of neural models."},{"key":"e_1_3_2_1_5_1","unstructured":"Vaswani A. Shazeer N. Parmar N. Uszkoreit J. Jones L. & Gomez A. N. 2017. Attention is all you need. arXiv."},{"key":"e_1_3_2_1_6_1","volume-title":"Charton F J a","author":"Lample G","year":"2019","unstructured":"Lample G, Charton F J a p a. .2019. Deep learning for symbolic mathematics."},{"key":"e_1_3_2_1_7_1","unstructured":"Artit W. . 2019. Attending to mathematical language with transformers."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Kim S Nam H Kim J . 2021. Neural sequence-to-grid module for learning symbolic rules.","DOI":"10.1609\/aaai.v35i9.16994"},{"key":"e_1_3_2_1_9_1","unstructured":"Allamanis M Chanthirasegaran P Kohli P . 2017. Learning continuous semantic representations of symbolic expressions."},{"key":"e_1_3_2_1_10_1","unstructured":"Qiao Bowen Li Junhui. . 2020. Neural Machine Translation Integrating Semantic Roles."},{"key":"e_1_3_2_1_11_1","unstructured":"Dong Zhenheng Ren Weiping You Xindong . 2022. Machine translation method for integrating terminology knowledge in the field of new energy."},{"key":"e_1_3_2_1_12_1","volume-title":"Xiong J. .","author":"Qin Wenjie","year":"2020","unstructured":"Qin Wenjie, Journal of Xiamen University: Natural Science Edition, Xiong J. . 2020. Neural Machine Translation Integrating Rule Information."},{"key":"e_1_3_2_1_13_1","unstructured":"Zhang Hailing Shao Yubin Yang Dan . 2021. Neural machine translation based on hierarchical analysis of syntactic rules."},{"key":"e_1_3_2_1_14_1","unstructured":"Guo Wanghao Fan Jiangwei. . 2021. Computer Science and Exploration Zhang J. Research Progress in Neural Machine Translation Integrating Linguistic Knowledge."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Garg S. Peitz S. Nallasamy U. & Paulik M. . 2019. Jointly learning to align and translate with transformer models.","DOI":"10.18653\/v1\/D19-1453"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Chen G Chen Y Li V O. . 2021. Lexically constrained neural machine translation with explicit alignment guidance.","DOI":"10.1609\/aaai.v35i14.17496"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Meister C Cotterell R Vieira T. . 2020. If beam search is the answer what was the question?.","DOI":"10.18653\/v1\/2020.emnlp-main.170"}],"event":{"name":"EITCE 2023: 2023 7th International Conference on Electronic Information Technology and Computer Engineering","acronym":"EITCE 2023","location":"Xiamen China"},"container-title":["Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650400.3650419","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650400.3650419","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T05:06:00Z","timestamp":1755752760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650400.3650419"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,20]]},"references-count":17,"alternative-id":["10.1145\/3650400.3650419","10.1145\/3650400"],"URL":"https:\/\/doi.org\/10.1145\/3650400.3650419","relation":{},"subject":[],"published":{"date-parts":[[2023,10,20]]},"assertion":[{"value":"2024-04-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}