{“id”：“https://openalex.org/W2884243532“，”doi“：”https://doi.org/10.1007/978-3-319-96145-3_12“，”title“：”Fast Numerical Program Analysis with Reinforcement Learning“，”display_name“：”Fest Numeral Program Analysis with Recemented Learning”，“publication_year”：2018，“publiation_date”：“2018-01-01”，“ids”：{“openalex”：“https://openalex.org/W2884243532“，”doi“：”https://doi.org/10.1007/978-3-319-96145-3_12“，”mag“：”2884243532“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_12.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_12.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5003099985“，”display_name“：”Gagandeep Singh“，”orcid“：”https://orcid.org/0000-0002-9299-2961}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：true，”raw_author_name“：”Gagandeep Singh“，”raw _ afiliation_strings“：[“计算机科学部，ETH Z\u00fcrich，Z\u00 fcrich（瑞士）”]，“affiliations”：[{“raw_affiliation_string”：“计算机科学系，ETH Z \u00 fc rich，Z \u00fc rich（瑞典）”，“institution_ids”：[“https://openalex.org/I35440088“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5076407181“，”display_name“：”Markus P\u00fcschel“，”orcid“：”https://orcid.org/0000-0001-8834-8551}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Markus P\u00fcschel“，”raw _affiliation_strings“：[“计算机科学部，ETH Z\u00fc rich，Z\u00 fcrich，Switzerland”]，”affiliations“：[{”raw_affiliation_string“：”计算机科学部https://openalex.org/I35440088“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5069901599“，”display_name“：”Martin Vechev“，”orcid“：”https://orcid.org/0000-0002-0054-9568}，“机构”：[{“id”：https://openalex.org/I35440088“，”display_name“：”苏黎世ETH“，”ror“：”https://ror.org/05a28rw58“，”country_code“：”CH“，”type“：“教育”，”世系“：[”https://openalex.org/I2799323385","https://openalex.org/I35440088“]}]，”国家“：[”CH“]，”is_corresponding“：false，”raw_author_name“：”Martin Vechev“，”raw _affiliation_strings“：[“计算机科学部，ETH Z\u00fcrich，Z\u100fcrich、瑞士”]，”affiliations“：[{”raw _affiliation_string“：”计算机科学部、ETH Z\ u00fcrich、Z\u00 fcrich和瑞士”，“institution_ids”：[“https://openalex.org/I35440088“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5003099985“]，”对应的机构ID“：[”https://openalex.org/I35440088“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{”value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“fwci”：8.682，“has_fulltext_origin”：“pdf”，“cited_by_count”：20，“citected_by_percentile_year”：{“min”：92，“max”：93}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“211”，“last_page“：”229“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10260“，”“display_name”：“软件工程实证研究”，“score”：0.9982，“subfield”：{“id”：“https://openalex.org/subfields/1710“，”display_name“：”Information Systems“}，”field“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9977，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”display_name“：”软件“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10462“，”display_name“：”强化学习算法“，”score“：0.997，”subfield“：｛”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“｝，”domain“：｛”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/reinforcement-learning网站“，”display_name“：”强化学习“，”score“：0.657178}，{”id“：”https://openalex.org/keywords/simulation-to-real-world-transfer（https://openalex.org/keywords/simulation-to-real-world-transfer）“，”“display_name”：“模拟到现实世界的转换”，“score”：0.518803}，{“id”：“https://openalex.org/keywords/software-defect-pedition网站“，”display_name“：”软件缺陷预测“，”score“：0.513516}，{”id“：”https://openalex.org/keywords/program-repair网站“，”display_name“：”Program Repair“，”score“：0.513174｝，｛”id“：”https://openalex.org/keywords/重构“，”display_name“：”重构“，”score“：0.507956}]，”概念“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.81114614}，{”id“：”https://openalex.org/C97541855，“wikidata”：https://www.wikidata.org/wiki/Q830687“，”display_name“：”强化学习“，”level“：2，”score“：0.7263036}，{”id“：”https://openalex.org/C153083717，“wikidata”：https://www.wikidata.org/wiki/Q6535263“，”display_name“：”杠杆率（统计）“，”level“：2，”score“：0.68125147}，{”id“：”https://openalex.org/C66322947，“wikidata”：https://www.wikidata.org/wiki/Q11658“，”display_name“：”Transformer“，”level“：3，”score“：0.67959726}，{”id“：”https://openalex.org/C98183937，“wikidata”：https://www.wikidata.org/wiki/Q2112188“，”display_name“：”程序分析“，”level“：2，”score“：0.5218724}，{”id“：”https://openalex.org/C2780654840，“wikidata”：https://www.wikidata.org/wiki/Q333341“，”display_name“：”抽象解释“，”level“：2，”score“：0.49019033}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.39509657}，{”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.36814412}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.336702}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.3256364}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.29999262}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.2201446}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.103705406}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_12.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-96145-3_12，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-319-96145-3_12.pdf“，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.42，”id“：”https://metadata.un.org/sdg/17“，”display_name“：”目标伙伴关系“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：22，”referrenced_works“：【”https://openalex.org/W151585193","https://openalex.org/W2028284083","https://openalex.org/W2029229881","https://openalex.org/W2057463094","https://openalex.org/W2135384260","https://openalex.org/W2145339207","https://openalex.org/W2474562651","https://openalex.org/W2508075332","https://openalex.org/W2514073783","https://openalex.org/W2517915133","https://openalex.org/W2533284009","https://openalex.org/W2546000176","https://openalex.org/W2566919497","https://openalex.org/W2597111350","https://openalex.org/W2749325905","https://openalex.org/W2762491430","https://openalex.org/W2780061171","https://openalex.org/W3015644425","https://openalex.org/W4230914813","https://openalex.org/W4239558088","https://openalex.org/W4252599801","https://openalex.org/W967948971“]，”related_works“：[”https://openalex.org/W2970480852","https://openalex.org/W2768698792","https://openalex.org/W2525463489","https://openalex.org/W2157660637","https://openalex.org/W2077499329","https://openalex.org/W2058895276","https://openalex.org/W2020973245","https://openalex.org/W1836373119","https://openalex.org/W1493903037","https://openalex.org/W1483759049“]，”ngrams_url“：”https://api.openalex.org/works/W2884243532/ngrams网站“，”“abstract_inverted_index”：{“We”：[0166]，“show”：[1193]，“how”：[2]，“to”：[3,10,20,37,47,84109114155189203]，“leverage”：[4]，“reinforction”：[5]，“learning”：[6]，“（RL）”：[7]，“in”：[8,26,30,34,42]，“order”：[9]，“speed”：[11]，“up”：[12202]，“static”：[13]，“program”：[14,40142]，“分析”：[15165]，“The”：[16191]，“key”：[17138]，“insight”：[18]，“is”：[19]，“建立“：[21]，”a“：[22,32,57,78116130180]，”对应“：[23]，”介于“：[24,67]，”概念“：[25]，”RL“：[27,35,83]，”和“：[28,51,69127144176]，”那些“：[29]，”分析：“：[31]，”状态“：[33,41]，”地图“：[36,46]，”an“：[38,44,48157]，”抽象“：[3912141]，“分析，”：[43]，“行动”：[45]，“变压器”：[50]，“at”：[52,94211]，“every”：[53]，“state”：[54]，“我们”：[55147]，“have”：[56]，“set”：[58133181]，“of”：[59,92105118125134140182201206]，“sound”：[60]，“transformers”：[61121163]，“（actions）”：[62]，“that”：[63136161186194]，“representation”：[64]，“difference”：[65]，“权衡”：[66]，“precision”：[68,93126210]，“performance.”：[70,99128]，“At”：【71】，“each”：[72]，“迭代”，：[73]，“the”：[74,87103171]，“agent”：[75]，“（分析）”：[76]，“uses”：[77]，“policy”：[79160]，“learned”：[80]，“offline”：[81]，“by”：[82]，“decide”：[85]，“on”：[86179]，“transformer”：[88]，“which”：[89]，“minimuminalize”：[90]，“loss”：[91]，“fixpoint”：[95]，“while”：[96208]，“improving”：[97]，“analysis”：[98]，“Our”：[100]，“方法”：[101169196]，“杠杆”：[102]，“理念”：[104]，“在线”：[106]，“分解”：[107]，“（适用”：[108]，“流行”：[110]，“数值”：[111]，“域”）：[113]，“定义”：[115]，“空间”：[117]，“新”：[119]，“近似”：[120]，“with”：[122151]，“varianting”：/123]，“度”：[124]，“使用”：[129]，“适用”：131]，“设计”：[132]，“特征”：[135]，“捕获”：[137]，“属性”：[139]，“状态”“：[143]，”可用“：[145]，”操作，“：[146]，“then”：[148]，“apply”：[149]，“Q-learning”：[150]，“linear”：[152]，“function”：[153]，“近似”：[154]，“compute”：[156]，“optimized”：[158]，“context-sensitive”：[159]，“choles”：[162]，“during”：[164]，“implemented”：[167]，“our”：168195]，“for”：[170]，“norrously”：[172]，“昂贵”：[173188]，“多面体”：[174]，“域”：[175]，“已评估”：[177]，“它”：[178]，“Linux”：[183]，“设备”：[184]，“驱动程序”：[185]，“是”：[187]，“分析”：[190]，“结果”：[192]，“可以”：[197]，“产量”：[198]，“大规模”：[199]，“加速”：[200]，“两个”：[204]，“阶数”：[205]，“量级”：[207]，“维护”：[209]，“定点”：[212]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W2884243532“，”counts_by_year“：[{”年“：2024，”cited_by_count“：1}，{”年份“：2023，”ciped_by_cunt“：3}，”{“年份”：2022，“cited_by_count”：2}，“{”年度“：2021，”cited_by_count“updated_date”：“2024-06-24T01:48:51.066504”，“创建日期”：“2018-08-03”}