{"id":"https://openalex.org/W7117878173","doi":"https://doi.org/10.1109/milcom64451.2025.11310239","title":"Unifying Generative and Classification-Based Relation Extraction via MCTS for nextG Protocol Formal Verification","display_name":"Unifying Generative and Classification-Based Relation Extraction via MCTS for nextG Protocol Formal Verification","publication_year":2025,"publication_date":"2025-10-06","ids":{"openalex":"https://openalex.org/W7117878173","doi":"https://doi.org/10.1109/milcom64451.2025.11310239"},"language":null,"primary_location":{"id":"doi:10.1109/milcom64451.2025.11310239","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom64451.2025.11310239","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027373671","display_name":"Jingda Yang","orcid":"https://orcid.org/0009-0005-0532-8907"},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jingda Yang","raw_affiliation_strings":["Stevens Institute of Technology,Department of Systems and Enterprises,Hoboken,NJ,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Department of Systems and Enterprises,Hoboken,NJ,USA","institution_ids":["https://openalex.org/I108468826"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105174250","display_name":"Paul Ratazzi","orcid":null},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paul Ratazzi","raw_affiliation_strings":["Air Force Research Laboratory,Information Warfare Division,Rome,NY,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory,Information Warfare Division,Rome,NY,USA","institution_ids":["https://openalex.org/I1280414376"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5121705518","display_name":"Ying Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I108468826","display_name":"Stevens Institute of Technology","ror":"https://ror.org/02z43xh36","country_code":"US","type":"education","lineage":["https://openalex.org/I108468826"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ying Wang","raw_affiliation_strings":["Stevens Institute of Technology,Department of Systems and Enterprises,Hoboken,NJ,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stevens Institute of Technology,Department of Systems and Enterprises,Hoboken,NJ,USA","institution_ids":["https://openalex.org/I108468826"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.78641859,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1308","last_page":"1314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.4390999972820282,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.4390999972820282,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12131","display_name":"Wireless Signal Modulation Classification","score":0.4172999858856201,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.015599999576807022,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.7045000195503235},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.6256999969482422},{"id":"https://openalex.org/keywords/generative-grammar","display_name":"Generative grammar","score":0.5641999840736389},{"id":"https://openalex.org/keywords/generative-model","display_name":"Generative model","score":0.5526000261306763},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5109999775886536},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.42010000348091125},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.41499999165534973},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.3799999952316284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8309999704360962},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.7045000195503235},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.6256999969482422},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6159999966621399},{"id":"https://openalex.org/C39890363","wikidata":"https://www.wikidata.org/wiki/Q36108","display_name":"Generative grammar","level":2,"score":0.5641999840736389},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.5526000261306763},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5175999999046326},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5109999775886536},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.42010000348091125},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.41499999165534973},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.3799999952316284},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C163797641","wikidata":"https://www.wikidata.org/wiki/Q2067937","display_name":"Tree structure","level":3,"score":0.3652999997138977},{"id":"https://openalex.org/C46149586","wikidata":"https://www.wikidata.org/wiki/Q11785332","display_name":"Monte Carlo tree search","level":3,"score":0.3393000066280365},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.3321000039577484},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.32899999618530273},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3260999917984009},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.32089999318122864},{"id":"https://openalex.org/C153604712","wikidata":"https://www.wikidata.org/wiki/Q7310755","display_name":"Relationship extraction","level":3,"score":0.31360000371932983},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.2964000105857849}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/milcom64451.2025.11310239","is_oa":false,"landing_page_url":"https://doi.org/10.1109/milcom64451.2025.11310239","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"MILCOM 2025 - 2025 IEEE Military Communications Conference (MILCOM)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W2252115292","https://openalex.org/W2911489562","https://openalex.org/W2963545917","https://openalex.org/W3034238904","https://openalex.org/W3214342214","https://openalex.org/W4320489219","https://openalex.org/W4327767773","https://openalex.org/W4387831816","https://openalex.org/W4388644506","https://openalex.org/W4390742397","https://openalex.org/W4391892410","https://openalex.org/W4392122658","https://openalex.org/W4394597441","https://openalex.org/W4394628733","https://openalex.org/W4394628749","https://openalex.org/W4402671886","https://openalex.org/W4403420421","https://openalex.org/W4405103687","https://openalex.org/W4405104092","https://openalex.org/W4405127718","https://openalex.org/W4408749890","https://openalex.org/W4409213094","https://openalex.org/W4411120360"],"related_works":[],"abstract_inverted_index":{"Formal":[0],"verification":[1,181],"of":[2,23,102,108,119,172],"domain-specific":[3],"protocols,":[4],"such":[5],"as":[6,55],"5G":[7,144],"RRC":[8,145],"and":[9,34,46,68,124,137,158,165],"emerging":[10],"defense":[11],"communication":[12],"standards,":[13],"is":[14],"essential":[15],"for":[16],"ensuring":[17],"system":[18],"reliability.":[19],"However,":[20],"automated":[21],"extraction":[22,134],"formal":[24,180],"relationships":[25],"remains":[26],"challenging":[27],"due":[28],"to":[29,72,85,97,176],"limited":[30],"annotations,":[31],"evolving":[32],"terminology,":[33],"out-of-vocabulary":[35],"(OOV)":[36],"conditions.":[37,139],"We":[38],"propose":[39],"a":[40,56,61,77],"unified":[41,91],"framework":[42,96],"that":[43,148],"integrates":[44],"classification":[45,66],"generative":[47,103],"models":[48],"using":[49],"Monte":[50],"Carlo":[51],"Tree":[52],"Search":[53],"(MCTS)":[54],"search":[57,63,92,175],"controller.":[58],"MCTS":[59,130],"navigates":[60],"hybrid":[62,174],"tree":[64],"where":[65],"(CAL)":[67],"generation":[69],"(REBEL)":[70],"correspond":[71],"orthogonal":[73],"expansion":[74],"paths,":[75],"with":[76,105],"learned":[78],"reward":[79,114],"model":[80,115],"guiding":[81],"which":[82],"reasoning":[83],"strategy":[84],"apply":[86],"at":[87],"each":[88],"step.":[89],"This":[90],"structure":[93],"enables":[94],"the":[95,99,106,117,129,143,170],"balance":[98],"contextual":[100],"flexibility":[101],"expansions":[104],"precision":[107],"classification-based":[109],"inferences.":[110],"A":[111],"reinforcement":[112],"learning\u2013based":[113],"estimates":[116],"utility":[118],"candidate":[120],"actions":[121],"during":[122],"simulation":[123],"guides":[125],"value":[126],"propagation":[127],"throughout":[128],"tree,":[131],"enabling":[132],"robust":[133],"under":[135],"low-resource":[136],"OOV":[138,161],"Experimental":[140],"results":[141,168],"on":[142],"dataset":[146],"show":[147],"our":[149],"MCTS-based":[150],"method":[151],"achieves":[152],"97.2%":[153],"accuracy":[154],"in":[155,160,183],"in-vocabulary":[156],"settings":[157],"91.2%":[159],"scenarios":[162],"outperforming":[163],"REBEL":[164],"CAL.":[166],"These":[167],"highlight":[169],"potential":[171],"reward-guided":[173],"improve":[177],"scalable,":[178],"interpretable":[179],"pipelines":[182],"mission-critical":[184],"environments.":[185]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-01-01T00:00:00"}