{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,8,28]]，“日期-时间”：“2023-08-28T12:59:32Z”，“时间戳”：1693227572781}，“发布者位置”：“查姆”，“引用-计数”：36，“发布商”：“施普林格自然瑞士”，“isbn-type”：[{“值”：“9783031156281”，“类型”：”打印“}，{“值”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3031-15629-8_5“，”type“：”book-capter“，”created“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“page”：“81-97”，“update-policy”：”http://\/dx.doi.org\/10.1007\/springer_crossmark_policy“，”source“：”Crossref“，“is-referenced-by-count”：2，“title”：[“递归神经网络模型学习技术综述”]，“prefix”：“10.1007”，“author”：[{“ORCID”：《http://\/ORCID.org\/00000-0003-0985-6115》，“authenticated-ORCID”：false，“give”：“Benedikt”，“family”：“Bollig”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0002-3696-9222”，“authenticated-ORCID”：false，“given”：”Martin“，”family“：”Leucker“，”sequence“：”additional“，”affiliance“：[]neneneep，{”ORCID“：”http://\/ORCID.org\/0000-0001-9276-6342“，”authentication-ORCID“：false”，“give”：“Daniel”，“faily”“：”Neider“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2022,9,7]]}，“reference”：[{“key”：“5_CR1”，“series-title”：“Computer Science课堂笔记”，“doi-asserted-by”：“publisher”，《首页》：“1102”，“doi”：“10.1007\/11523468_89”，“volume-title”：《Automata，Languages and Programming》，“author”：“R Alur”，年：“2005”，“非结构化”：“Alur，R.，Kumar，V.，Madhusudan，P.，Viswanathan，M.：可视下推语言的同义词。收录于：Caires，L.，Italiano，G.F.，Monteiro，L.、Palamidessi，C.，Yung，M.（编辑）ICALP 2005。LNCS，第3580卷，第1102\u20131114页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/11523468_89“}，{“key”：“5_CR2”，“doi-asserted-by”：“publisher”，“unstructured”：“Alur，R.，Madhusudan，P.：向单词添加嵌套结构。J.ACM 56（3），16:1\u201316:43（2009）。https:\//doi.org\/10.1145\/1516512.1516518”，“doi”：“10.1145\/15165012.1516518}”，{《问题》：“2”，“密钥”：“5_CR3”，“doi-asserted-by”：“publisher”，“第一页“：”87“，”DOI“：”10.1016\/0890-5401（87）90052-6“，”volume“：”75“，”author“：”D Angluin“，”year“：”1987“，”unstructured“：”Anglui，D：“从查询和反例中学习正则集。Inf.计算。75（2），87\u2013106（1987）。https:\/\/doi.org\/10.1016\/0890-5401（87）90052-6“，”journal-title“：”Inf.Comput。“｝，｛”key“：”5_CR4“，”非结构化“：”Ayache，S.，Eyraud，R.，Goudian，N.：使用加权自动机解释序列数据上的黑匣子。In：Unold，O.，Dyrka，W.，Wieczorek，W.（eds.）第14届国际语法推理会议论文集，ICGI 2018，Wroc\u0142aw，波兰，5\u20137 2018年9月。机器学习研究论文集，第u00a093卷，第81\u2013103页。PMLR（2018）。http:\/\/crocesses.mlr.press\/v93\/ayache19a.html“}，{“key”：“5_CR5”，“unstructured”：“Barbot，B.，Bollig，B.，Finkel，A.，Haddad，S.，Khmelnitsky，I.，Leucker，M.，Neider，D.，Roy，R.，Ye，L.：使用树自动机学习和*搜索从递归神经网络中提取无上下文语法。收录：Chandlee，J.、Eyraud，R.、Heinz，J.，Jardine，A.、van Zaanen，M.（编辑）《第十五届语法推断国际会议论文集》。机器学习研究论文集，第u00a0153卷，第113\u2013129页。PMLR，2013年8月23日至2021年8月27日。https:\/\/progress.mlr.press\/v153\/barbot21a.html“｝，｛“key”：“5_CR6”，“doi asserted by”：“publisher”，“unstructured”：“Boser，B.E.，Guyon，I.，Vapnik，V.：最优裕度分类器的训练算法。In：Hausler，D.（ed.）《第五届ACM计算学习理论年会论文集》，COLT 1992，匹兹堡，宾夕法尼亚州，1992年7月27日，第144页，2013152。ACM（1992）。https:\/\/doi.org\/10.1145\/130385.130401“，”doi“：”10.1145\/13038.130401“}，{“key”：“5_CR7”，“doi-asserted-by”：“publisher”，“unstructured”：“Cho，K.，et al.：使用RNN编码器-解码器学习短语表示，用于统计机器翻译。In：Moschiti，A.，Pang，B.，Daelemans，W.（eds.）《2014年自然语言处理实证方法会议记录》，EMNLP 2014，25\u201329，2014年10月29日，卡塔尔多哈，ACL特别利益小组SIGDAT会议，第1724\u20131734页。ACL（2014）。https:\/\/doi.org\/10.3115\/v1\/d14-1179“，”doi“：”10.3115\/v 1\/d141-1179“}，{“问题”：“2”，“密钥”：“5_CR8”，“doi-asserted-by”：“发布者”，“首页”：“163”，“doi”：“10.1007\/s00224-005-1233-3”，“卷”：“40”，“作者”：“F Drewes”，“年份”：“2007”，“非结构化”：“Drewes，F.，H\u00f6gberg，J.：正则树语言的查询学习：如何避免死状态。理论计算。系统。40（2），163\u2013185（2007）。https:\/\/doi.org\/10.1007\/s00224-005-1233-3“，”journal-title“：”理论计算。系统。“}，{”key“：”5_CR9“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-0-387-36123-9“，“volume-title”：“PSL实用简介”，“author”：“C Eisner”，“year”：“2006”，“unstructured”：“Eisner，C.，Fisman，D.：PSL实用介绍。集成电路与系统系列。Springer，Heidelberg（2006）.https:\/\/doi.org\/10.1007\/978-0-387-36123-9“}，{“key”：“5_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”3“，“doi”：“10.1007\/978-3-030-58298-2_1”，“volume-title”：”工业关键系统的形式方法“，”author“：”H Garavel“，”年份“2020”，“非结构化”：“Garavel，H.、Beek，M.H.、Pol，J.：2020年正式方法专家调查。收录：ter Beek，M.H.，Ni\u010dkovi\u0107，D.（编辑）FMICS 2020。LNCS，第12327卷，第3\u201369页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-58298-2_1“}，{“问题”：“2”，“密钥”：“5_CR11”，“doi-asserted-by”：“出版商”，“首页”：“100”，“doi”：“10.1109\/TSSC.1968.300136”，“卷”：“4”，“作者”：“PE Hart”，“年份”：“1968”，“非结构化”：“Hart，P.E.，Nilsson，N.J.，Raphael，B.：启发式确定最小成本路径的形式基础。IEEE传输。系统。科学。赛博。4（2），100\u2013107（1968）。https:\/\/doi.org\/10.109\/TSSC.1968.300136“，”journal-title“：”IEEE Trans。系统。科学。赛博。“}，{”issue“：”9“，”key“：”5_CR12“，”doi-asserted-by“：”publisher“，”first page“：“1332”，”doi“：”10.1016\/j.patcog.2005.01.003“，”volume“：.https:\/\/doi.org\/10.1016\/j.patcog.2005.01.003“，”journal-title“：”模式识别。“}，{”key“：”5_CR13“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9781139194655“，”volume-title“：”语法推理“，”author“：”C de la Higuera“，“year”：“2010”，”unstructured“：”de la Higgera，C.：语法推理。剑桥大学出版社，剑桥（2010）。https:\/\/doi.org\/10.10017\/CBO9781139199655“}”，{“issue”：“8”，“键”：“5_CR14”，“doi-asserted-by“：”publisher“，”first page“：”1735“，”doi“：”10.1162\/neco.1997.9.8.1735“，“volume”：“9”，“author”：“S Hochreiter”，“year”：“1997”，“unstructured”：“Hochreite，S.，Schmidhuber，J.：长期短期记忆。神经计算。9（8），1735\u20131780（1997）。https:\/\/doi.org\/10.1162\/neco.1997.9.8.1735“，”journal-title“：”神经计算。“}，{”issue“：”301“，”key“：”5_CR15“，”doi-asserted-by“：”publisher“，“first page”：“13”，”doi“：”10.2307\/2282952“，”volume“：“58”，”author“：”W Hoeffing“，”year“：”1963“，”unstructured“：”Hoeffind，W.：有界随机变量和的概率不等式。J.Am.Stat.Assoc.58（301），13\u201330（1963）。https:\\/doi.org\/10.2307\/228 2952英寸期刊标题“：”J.Am.Stat.Assoc.“｝，｛“issue”：“6”，“key”：“5_CR16”，“doi断言”：“publisher”，“首页”：“1223”，“doi”：“10.1162\/089766053630350”，“volume”：“17”，“author”：“H Jacobsson”，“year”：“2005”，“nonstructured”：“Jacobsson，H.：从递归神经网络中提取规则：分类学和综述。neural Comput.17（6），1223\u20131263（2005）https:\/\/doi.org\/10.1162\/0899766053630350“，”journal-title“：”神经计算。“}，{”key“：”5_CR17“，”doi-asserted-by“：”publisher“，”doi“：”10.7551\/mitpress\/3897.01.0001“，”volume-title“：”计算学习理论简介“，”author“：”MJ Kearns“，”year“：”1994“，”unstructured“：”Kearns，M.J.，Vazirani，U.V.：计算学习理论导论。麻省理工学院出版社，剑桥（1994）https:\/\/doi.org/10.7551\/mitpress\/3897.0001.0001“｝，｛“key”：“5_CR18”，“系列标题”：“计算机科学讲义”，“doi断言者”：“出版商”，“首页”：“364”，“doi”：“10.1007\/978-3-030-88885-5_24”，“卷标题”：“用于验证和分析的自动化技术”，“作者”：“I Khmelnitsky”，“年份”：“2021”，“非结构化”：“Khmelnitsky，I.等人：递归神经网络的属性定向验证和鲁棒性证明。收录人：Hou，Z.，Ganesh，V.（编辑）ATVA 2021。LNCS，第12971卷，第364\u2013380页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-88885-5_24“}，{“key”：“5_CR19”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“478”，“doi”：“10.1007\/9783-319-91908-9_23”，“volume-title”：”计算与软件科学“，“author”：“A Legay”，“年份”：“2019”，”非结构化“：”Legay，A.，Lukina，A.，Traonouez，L.M.，Yang，J.，Smolka，S.A.，Grosu，R.：统计模型检查。收录：Steffen，B.，Woeginger，G.（编辑）计算与软件科学。LNCS，第10000卷，第478\u2013504页。查姆施普林格（2019）。https://doi.org/10.1007\/978-3-319-91908-9_23“｝，｛”key“：”5_CR20“，”系列标题“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”3“，”doi“：”10.1007\/978-3-030-63882-5_1“，”卷标题“：”形式方法：基础与应用“，”作者“：”M Leucker“，”年份“：”2020“，”非结构化“：”Leucker，M.：神经网络的形式验证？摘自：Carvalho，G.，Stolz，V.（编辑）SBMF 2020。LNCS，第12475卷，第3\u20137页。查姆施普林格（2020）。https://doi.org\/10.1007\/978-3-030-63882-5_1“}，{“key”：“5_CR21”，“unstructured”：“Liu，B.：情感分析和主观性。摘自：Indurkhya，N.，Damerau，F.J.（编辑）《自然语言处理手册》，第二版，第627\u2013666页。查普曼和霍尔CRC（2010年）。http://www.crcnetbase.com/doi\/abs\/10.1201\/9781420085938-c26“}，{”key“：”5_CR22“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“343”，”doi“：”10.1007\/978-3-030-57321-8_19“，”volume-title“：“机器学习和知识提取”，“作者”：“F Mayr”，“年份”：“2020”，”unstructured“：”Mayr，F.、Visca，R.、Yovine，S.：在飞行黑匣子上可能对递归神经网络进行近似正确的检查。摘自：Holzinger，A.、Kieseberg，P.、Tjoa，A.M.、Weipple，E.（编辑）CD-MAKE 2020。LNCS，第12279卷，第343\u2013363页。查姆施普林格（2020）。https:\/\/doi.org\/10.1007\/978-3-030-57321-8_19“}，{“key”：“5_CR23”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“350”，“doi”：“10.1007\/978-30-99740-7_25”，“volume-title”：”机器学习和知识提取“，“author”：“F Mayr”，“年份”：“2018”，“非结构化”：“Mayr，F.，Yovine，S.：人工神经网络的规则推理。摘自：Holzinger，A.、Kieseberg，P.、Tjoa，A.M.、Weipple，E.（编辑）CD-MAKE 2018。LNCS，第11015卷，第350\u2013369页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-199740-7_25“}，{”问题“：”1“，”密钥“：”5_CR24“，”doi-asserted-by“：”出版商“，”首页“：”205“，”doi“：”10.3390\/make3010010“，”卷“：”3“，”作者“：”F Mayr“，”年份“：”2021“，“非结构化”：“Mayr，F.、Yovine，S.、Visca，R.：递归神经网络的可解释错误特征的属性检查。机器。学习。知识。外部。3（1），205\u2013227（2021）。https:\/\/doi.org\/10.3390\/make3010010“，”journal-title“：”马赫。学习。知识。外部。“}，{”key“：”5_CR25“，”doi-asserted-by“：”crossref“，”unstructured“：”Okudono，T.、Waga，M.、Sekiyama，T.和Hasuo，I.：通过状态空间回归从递归神经网络中提取加权自动机。摘自：第三十四届AAAI人工智能会议，AAAI 2020，第三十二届人工智能创新应用会议，IAAI 2020。AAAI出版社（2020）。https://\/ojs.aaai.org/\/index.php\/aaai\/article\/view\/55977”，“DOI”：“10.1609\/aaai.v34i04.5977”}，｛“issue”：“1”，“key”：“5_CR26”，“DOI断言者”：“发布者”，“首页”：“41”，“DOI”：“10.1016\/0893-6080（95）00086-0”，“卷”：“9”，“作者”：“CW Omlin”，“年份”：“1996”，“非结构化”：“Omlin，C.W.，Giles，C.L.：从离散时间递归神经网络中提取规则。神经网络。9（1），41\u201352（1996）。https:\/\/doi.org\/10.1016\/0893-6080（95）00086-0“，”journal-title“：”神经网络。}，{“key”：“5_CR27”，“doi-asserted-by”：“publisher”，“unstructured”：“Pnueli，A.：程序的时序逻辑。摘自：第18届计算机科学基础年度研讨会，美国罗德岛州普罗维登斯，2013年10月31日\u1977年11月，第46\u201357页。IEEE计算机学会（1977年）。https:\/\/doi.org\/10.109\/SFCS.1977.32“，“doi”：“10.1109\/SFCS.1977.32”}，{“问题”：“2”，“密钥”：“5_CR28”，“doi-asserted-by”：“发布者”，“首页”：“299”，“doi:“10.1006\/inco.1993.1021”，“卷”：“103”，“作者”：“RL Rivest”，“年份”：“1993”，“非结构化”：“Rivest，R.L.，Schapire，R.E.：使用归巢序列的有限自动机推理。Inf.Compute.103（2），299\u2013347（1993）。https:\/\/doi.org\/10.1006\/inco.1993.1021“，”journal-title“：”Inf.Comput。“}，{”key“：”5_CR29“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-pages“：”20“，”doi“：”10.1007\/978-3-030-01090-4_2“，”volume-title“：“自动验证和分析技术”，”author“：”SA Seshia“，”year“：”2018“，”unstructured“：”Seshia，S.A.等人：深度神经网络的正式规范。收件人：Lahiri，S.K.，Wang，C.（编辑）ATVA 2018。LNCS，第11138卷，第20\u201334页。查姆施普林格（2018）。https:\/\/doi.org\/10.1007\/978-3-030-01090-4_2“}，{“问题”：“2”，“密钥”：“5_CR30”，“doi-asserted-by”：“出版商”，“首页”：“86”，“doi”：“10.1145\/2967606”，“卷”：“60”，“作者”：“FW Vaandrager”，“年份”：“2017年”，“非结构化”：“Vaandraker，F.W.：模型学习。Commun.ACM 60（2），86\u201395（2017）.https:\/\/doi.org\/10.1145\/2967606“，”新闻标题“：”Commun公司。ACM“}，{”issue“：”11“，”key“：”5_CR31“，”doi-asserted-by“：”publisher“，”first page“：“1134”，“doi”：“10.1145\/1968.1972”，“volume”：“27”，“author”：“LG Valiant”，“year”：“1984”，“unstructured”：“Valiant，L.G.：可学习理论。Commun.ACM 27（11），1134\u20131142（1984）。https:\/\/doi.org\/10.1145\/1968.1972“，”日志标题“：”Commun.ACM“}，{”key“：”5_CR32“，”非结构化”：“Weiss，G.，Goldberg，Y.，Yahav，E.：使用查询和反例从递归神经网络中提取自动机。摘自：Dy，J.G.，Krause，A.（eds.）《第35届国际机器学习会议论文集》，ICML 2018，Stockholmsm\u00e4ssan，斯德哥尔摩，瑞典，2013年7月10日至15日。机器学习研究论文集，第u00a080卷，第5244\u20135253页。PMLR（2018）。http:\/\/procedures.mlr.press\/v80\/weiss18a.html“}，{“key”：“5_CR33”，“doi-asserted-by”：“publisher”，“unstructured”：“Weiss，G.，Goldberg，Y.，Yahav，E.：关于语言识别的有限精度RNN的实际计算能力。In：Gurevych，I.，Miyao，Y.（eds.）计算语言学协会第56届年会会议记录，ACL 2018，澳大利亚墨尔本，2013年7月15日，2018年7月20日，第2卷：短文，第740\u2013745页。计算语言学协会（2018）。https:\/\/doi.org\/10.18653\/v1\/P18-2117“，”doi“：”10.18653\/v1\/P18-2117“}，{“key”：“5_CR34”，“unstructured”：“Weiss，G.，Goldberg，Y.，Yahav，E.：通过查询和反例学习确定性加权自动机。In:Wallach，H.M.，Larochelle，H.，Beygelzimer，A.，d\u2019Alch\u00e9-Buc，F.，Fox，E.B.，Garnett，R.（eds.）《神经信息处理系统的进展32：2019年神经信息处理体系年度会议》，2019年NeurIPS，2019，8\u201314年12月，加拿大不列颠哥伦比亚省温哥华，第8558\u20138569页（2019）。https:\/\/processes.neurips.cc\/paper\/2019\/hash\/d3f93e7766e8e1b7ef66dfdd9a8be93b-Abstract.html“}，{“key”：“5_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Xie，X.，Kersting，K.，Neider，D.：深层神经网络的神经符号学验证。摘自：《第三十一届国际人工智能联合会议论文集》，IJCAI 2022。ijcai.org（2022年出版）。https:\/\/doi.org\/10.48550\/arXiv.2203.00938“，”doi“：”10.24963\/ijcai.2022\/503“}，{“key”：“5_CR36”，“series-title”：“计算机科学课堂讲稿”，“doi-serted-by”：“publisher”，“first page”：”351“，“doi”：“10.1007\/978-3-030-72016-2_19”，“volume-title”：《系统构建和分析的工具和算法》，“author”：“DM Yellin“，”年份“：”2021年，“非结构化”：“Yellin，D.M.，Weiss，G.：从递归神经网络合成无上下文文法。收录：Groote，J.F.，Larsen，K.G.（编辑）TACAS 2021。LNCS，第12651卷，第351\u2013369页。查姆施普林格（2021）。https:\/\/doi.org\/10.1007\/978-3-030-72016-2_19“}]，“container-title”：[“计算机科学课堂讲稿”，“从过程代数到时间自动机的模型学习之旅”]，“original-title“：[]，”link“：[{”URL“：”https:\//link.springer.com\/content\/pdf\/10007\/978-301-15629-8_5“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2022,9,24]]，”date-time“：”2022-09-24T16:28:41Z“，”timestamp“：1664036921000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_5”}}，“subtitle”：[]，“shorttitle”：“[]，”issued“：{”date-ports“：[[2022]]}，“ISBN”：[“9783031156281”，“9783031156298“]，”引用计数“：36，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_5“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2022]]}，”断言“：[{”值“：”2022年9月7日“，”顺序“：1，”名称“：”first_online”，“label”：“first online”，“group”：｛“name”：“ChapterHistory”，“label”：“ChapterHistory”｝｝]｝｝