{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:37Z","timestamp":1750219957144,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,28]],"date-time":"2023-07-28T00:00:00Z","timestamp":1690502400000},"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,7,28]]},"DOI":"10.1145\/3603165.3607422","type":"proceedings-article","created":{"date-parts":[[2023,9,25]],"date-time":"2023-09-25T22:17:14Z","timestamp":1695680234000},"page":"106-107","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Approximate Automatic Verification and Formal Language Processing"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9064-7833","authenticated-orcid":false,"given":"Weijun","family":"Zhu","sequence":"first","affiliation":[{"name":"School of Computer & Artificial Intelligence, Zhengzhou University, China and \rSchool of Software, Tsinghua University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4433-1066","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"The Jackson Laboratory, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,9,25]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"International Conference on Artificial Intelligence and Computer Information Technology, IEEE press","author":"Weijun Zhu","year":"2022","unstructured":"Zhu Weijun . 2022 . Approximate Model Checking based on Deep Forest , International Conference on Artificial Intelligence and Computer Information Technology, IEEE press , Yichang, China , 1 - 4 . Zhu Weijun. 2022. Approximate Model Checking based on Deep Forest, International Conference on Artificial Intelligence and Computer Information Technology, IEEE press, Yichang, China, 1-4."},{"key":"e_1_3_2_1_2_1","first-page":"134","volume-title":"IEEE Symposium on Security and Privacy Workshops, IEEE press","author":"Ackerman Joshua","year":"2021","unstructured":"Joshua Ackerman , George Cybenko . 2021 . Formal Languages, Deep Learning, Topology and Algebraic Word Problems , IEEE Symposium on Security and Privacy Workshops, IEEE press , San Francisco, CA, USA , 134 - 141 . Joshua Ackerman, George Cybenko. 2021. Formal Languages, Deep Learning, Topology and Algebraic Word Problems, IEEE Symposium on Security and Privacy Workshops, IEEE press, San Francisco, CA, USA, 134-141."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373419.3373444"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2016.26"}],"event":{"name":"ACM TURC '23: ACM Turing Award Celebration Conference 2023","acronym":"ACM TURC '23","location":"Wuhan China"},"container-title":["Proceedings of the ACM Turing Award Celebration Conference - China 2023"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603165.3607422","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3603165.3607422","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:07Z","timestamp":1750182547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3603165.3607422"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,28]]},"references-count":4,"alternative-id":["10.1145\/3603165.3607422","10.1145\/3603165"],"URL":"https:\/\/doi.org\/10.1145\/3603165.3607422","relation":{},"subject":[],"published":{"date-parts":[[2023,7,28]]},"assertion":[{"value":"2023-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}