{"id":"https://openalex.org/W4415584651","doi":"https://doi.org/10.1186/s13638-025-02523-3","title":"Automated detection of contradictions in 5G network specifications using reinforcement learning-trained small LLM","display_name":"Automated detection of contradictions in 5G network specifications using reinforcement learning-trained small LLM","publication_year":2025,"publication_date":"2025-10-27","ids":{"openalex":"https://openalex.org/W4415584651","doi":"https://doi.org/10.1186/s13638-025-02523-3"},"language":"en","primary_location":{"id":"doi:10.1186/s13638-025-02523-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13638-025-02523-3","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13638-025-02523-3","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13638-025-02523-3","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100710814","display_name":"Wenbin Zhang","orcid":"https://orcid.org/0000-0003-3024-5415"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenbin Zhang","raw_affiliation_strings":["Information Engineering University, Zhengzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100367073","display_name":"Qiang Wei","orcid":"https://orcid.org/0000-0003-3750-3042"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiang Wei","raw_affiliation_strings":["Information Engineering University, Zhengzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101527359","display_name":"Haowen Chen","orcid":"https://orcid.org/0000-0002-4777-7525"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haowen Chen","raw_affiliation_strings":["Information Engineering University, Zhengzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112207464","display_name":"Yunfeng Wang","orcid":"https://orcid.org/0009-0006-2795-9176"},"institutions":[{"id":"https://openalex.org/I169689159","display_name":"PLA Information Engineering University","ror":"https://ror.org/00mm1qk40","country_code":"CN","type":"education","lineage":["https://openalex.org/I169689159"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yunfeng Wang","raw_affiliation_strings":["Information Engineering University, Zhengzhou, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Engineering University, Zhengzhou, China","institution_ids":["https://openalex.org/I169689159"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I169689159"],"apc_list":{"value":1665,"currency":"USD","value_usd":1665},"apc_paid":{"value":1665,"currency":"USD","value_usd":1665},"fwci":1.2644,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.86172991,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"2025","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9779999852180481,"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/T11652","display_name":"Imbalanced Data Classification Techniques","score":0.9779999852180481,"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/T10400","display_name":"Network Security and Intrusion Detection","score":0.9686999917030334,"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"}},{"id":"https://openalex.org/T10714","display_name":"Software-Defined Networks and 5G","score":0.9415000081062317,"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/interoperability","display_name":"Interoperability","score":0.7921000123023987},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6448000073432922},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.4717000126838684},{"id":"https://openalex.org/keywords/taxonomy","display_name":"Taxonomy (biology)","score":0.3864000141620636},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.361299991607666},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.33329999446868896},{"id":"https://openalex.org/keywords/contradiction","display_name":"Contradiction","score":0.31380000710487366},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.31380000710487366}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9052000045776367},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.7921000123023987},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6448000073432922},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.4717000126838684},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4512999951839447},{"id":"https://openalex.org/C58642233","wikidata":"https://www.wikidata.org/wiki/Q8269924","display_name":"Taxonomy (biology)","level":2,"score":0.3864000141620636},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.361299991607666},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.33329999446868896},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33160001039505005},{"id":"https://openalex.org/C2776728590","wikidata":"https://www.wikidata.org/wiki/Q363948","display_name":"Contradiction","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.31380000710487366},{"id":"https://openalex.org/C154908896","wikidata":"https://www.wikidata.org/wiki/Q2167404","display_name":"Security policy","level":2,"score":0.3061000108718872},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.28679999709129333},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C192126672","wikidata":"https://www.wikidata.org/wiki/Q1068715","display_name":"Telecommunications network","level":2,"score":0.28040000796318054},{"id":"https://openalex.org/C182590292","wikidata":"https://www.wikidata.org/wiki/Q989632","display_name":"Network security","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2705000042915344},{"id":"https://openalex.org/C121822524","wikidata":"https://www.wikidata.org/wiki/Q5157582","display_name":"Computer security model","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2702000141143799},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.262800008058548},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.2549999952316284}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1186/s13638-025-02523-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13638-025-02523-3","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13638-025-02523-3","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:68570a9253664f02bc4ae59bec9d4d02","is_oa":true,"landing_page_url":"https://doaj.org/article/68570a9253664f02bc4ae59bec9d4d02","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking, Vol 2025, Iss 1, Pp 1-27 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1186/s13638-025-02523-3","is_oa":true,"landing_page_url":"https://doi.org/10.1186/s13638-025-02523-3","pdf_url":"https://jwcn-eurasipjournals.springeropen.com/counter/pdf/10.1186/s13638-025-02523-3","source":{"id":"https://openalex.org/S82675988","display_name":"EURASIP Journal on Wireless Communications and Networking","issn_l":"1687-1472","issn":["1687-1472","1687-1499"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319965","host_organization_name":"Springer Nature","host_organization_lineage":["https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Nature"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EURASIP Journal on Wireless Communications and Networking","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415584651.pdf","grobid_xml":"https://content.openalex.org/works/W4415584651.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W3201977280","https://openalex.org/W4367396672","https://openalex.org/W4391094171","https://openalex.org/W4399380754","https://openalex.org/W4405613595","https://openalex.org/W4405934565","https://openalex.org/W4412945427"],"related_works":[],"abstract_inverted_index":{"Contradictions":[0],"in":[1,25,48],"telecommunications":[2,26],"specifications":[3,124],"can":[4,151],"lead":[5],"to":[6,60,91,166],"implementation":[7],"errors,":[8],"interoperability":[9],"issues,":[10],"and":[11,63,98,121,132,174],"security":[12,133],"vulnerabilities.":[13],"This":[14],"paper":[15],"presents":[16],"a":[17,29,42,65,75,163],"framework":[18],"for":[19,113,127],"automating":[20],"the":[21,102,153,172],"detection":[22],"of":[23,45,107,115,136,155,176],"contradictions":[24,100],"standards":[27],"using":[28,56,68],"3B":[30],"parameter":[31],"large":[32],"language":[33],"model":[34,67,86],"(LLM)":[35],"trained":[36],"via":[37],"reinforcement":[38],"learning.":[39],"We":[40],"develop":[41],"formal":[43],"taxonomy":[44],"contradiction":[46],"types":[47],"5G":[49,142],"specifications,":[50],"generate":[51],"high-quality":[52],"synthetic":[53,97],"training":[54],"data":[55],"carefully":[57],"designed":[58],"prompts":[59],"larger":[61,92,156],"LLMs,":[62],"train":[64],"specialized":[66,148],"group":[69],"relative":[70],"policy":[71],"optimization":[72],"(GRPO)":[73],"with":[74],"multi-component":[76],"reward":[77],"function.":[78],"Our":[79,144],"experiments":[80],"demonstrate":[81],"that":[82,139,147,169],"our":[83,108],"RL-trained":[84],"small":[85],"achieves":[87],"superior":[88],"performance":[89],"compared":[90],"general":[93,157],"models":[94,150,158],"on":[95,141,159],"both":[96],"real-world":[99],"from":[101],"CellularLint":[103],"dataset.":[104],"The":[105],"effectiveness":[106],"approach":[109,165],"has":[110],"significant":[111],"implications":[112],"internet":[114],"things":[116],"(IoT)":[117],"ecosystems,":[118],"where":[119],"consistent":[120],"reliable":[122,177],"network":[123],"are":[125],"crucial":[126],"ensuring":[128],"interoperability,":[129],"power":[130],"efficiency,":[131],"across":[134],"billions":[135],"connected":[137],"devices":[138],"rely":[140],"infrastructure.":[143],"work":[145],"demonstrates":[146],"smaller":[149],"exceed":[152],"capabilities":[154],"domain-specific":[160],"tasks,":[161],"offering":[162],"resource-efficient":[164],"specification":[167],"verification":[168],"could":[170],"accelerate":[171],"development":[173],"deployment":[175],"IoT":[178],"systems.":[179]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-28T00:00:00"}