{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:48:59Z","timestamp":1771472939502,"version":"3.50.1"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T00:00:00Z","timestamp":1761523200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Wireless Com Network"],"DOI":"10.1186\/s13638-025-02523-3","type":"journal-article","created":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T12:35:46Z","timestamp":1761568546000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated detection of contradictions in 5G network specifications using reinforcement learning-trained small LLM"],"prefix":"10.1186","volume":"2025","author":[{"given":"Wenbin","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haowen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yunfeng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,27]]},"reference":[{"key":"2523_CR1","unstructured":"M.M. Rahman, I. Karim, E. Bertino, {CellularLint}: a systematic approach to identify inconsistent behavior in cellular networkspecifications. in 33rd USENIX Security Symposium (USENIX Security24) (2024), pp. 5215\u20135232"},{"key":"2523_CR2","unstructured":"B. Andow, S.Y. Mahmud, W. Wang, J. Whitaker, W. Enck, B. Reaves, K. Singh, T. Xie, {PolicyLint}:investigating internal privacy policy contradictions on google play. In 28thUSENIX security symposium (USENIX security 19) (2019), pp. 585\u2013602"},{"key":"2523_CR3","unstructured":"H. Cui, R. Trimananda, A. Markopoulou, S. Jordan, {PoliGraph}: automated privacy policy analysis using knowledge graphs. In 32nd USENIX Security Symposium (USENIX Security 23) (2023), pp. 1037\u20131054"},{"key":"2523_CR4","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1016\/j.isatra.2023.04.025","volume":"141","author":"X Feng","year":"2023","unstructured":"X. Feng, Y. Zhang, M.H. Meng, Y. Li, C. EuJoe, Z. Wang, G. Bai, Detecting contradictions from IoT pro-tocol specification documents based on neural generated knowledge graph. ISA Trans. 141, 10\u201319 (2023)","journal-title":"ISA Trans."},{"key":"2523_CR5","doi-asserted-by":"crossref","unstructured":"T. Deu\u00dfer, D. Leonhard, L. Hillebrand, A. Berger, M. Khaled, S. Heiden, T. Dilmaghani, B. Kliem, R. Loitz, C. Bauckhage, et al., Uncovering inconsistencies and contradictionsin financial reports using large language models. in 2023 IEEE Interna-tional Conference on Big Data (BigData) (2023), pp. 2814\u20132822","DOI":"10.1109\/BigData59044.2023.10386673"},{"key":"2523_CR6","doi-asserted-by":"crossref","unstructured":"Y. Koreeda, C.D. Manning, Contractnli: a dataset fordocument-level natural language inference for contracts. arXiv preprintarXiv:2110.01799 (2021)","DOI":"10.18653\/v1\/2021.findings-emnlp.164"},{"issue":"2","key":"2523_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-024-00452-x","volume":"31","author":"AE G\u00e4rtner","year":"2024","unstructured":"A.E. G\u00e4rtner, D. G\u00f6hlich, Automated requirementcontradiction detection through formal logic and llms. Autom. Softw. Eng. 31(2), 49 (2024)","journal-title":"Autom. Softw. Eng."},{"key":"2523_CR8","unstructured":"J. Li, V. Raheja, D. Kumar, Contradoc: understanding self-contradictions in documents with large language models. arXiv preprintarXiv:2311.09182 (2023)"},{"key":"2523_CR9","unstructured":"X. Jiang, A. Gember-Jacobson, N Feamster. Caip: detectingrouter misconfigurations with context-aware iterative prompting of llms.arXiv preprint arXiv:2411.14283 (2024)"},{"key":"2523_CR10","unstructured":"L. Peng, Y. Zhang, J. Shang, Generating efficient training data via llm-based attribute manipulation. arXiv preprint arXiv:2307.07099 (2023)"},{"key":"2523_CR11","first-page":"55734","volume":"36","author":"Y Yu","year":"2023","unstructured":"Y. Yu, Y. Zhuang, J. Zhang, Y. Meng, A.J. Ratner, R. Krishna, J. Shen, C. Zhang, Large language model as attributed training data generator: a tale of diversity and bias. Adv. Neural Inf. Process. Syst. 36, 55734\u201355784 (2023)","journal-title":"Adv. Neural Inf. Process. Syst."},{"issue":"4","key":"2523_CR12","doi-asserted-by":"publisher","DOI":"10.1115\/1.4067478","volume":"147","author":"Y Qiu","year":"2025","unstructured":"Y. Qiu, Y. Jin, A method for synthesizing ontology-based textual design datasets: evaluating the potential of large language model in domain-specific dataset generation. J. Mech. Des. 147(4), 041707 (2025)","journal-title":"J. Mech. Des."},{"key":"2523_CR13","doi-asserted-by":"crossref","unstructured":"H. Zeng, D. Jiang, H. Wang, P. Nie, X. Chen, W. Chen, Acecoder: acing coder RL via automated test-case synthesis. arXiv preprint arXiv:2502.01718 (2025)","DOI":"10.18653\/v1\/2025.acl-long.587"},{"key":"2523_CR14","doi-asserted-by":"crossref","unstructured":"M. Zhang, X. Shen, J. Cao, Z. Cui, S. Jiang, Edgeshard: efficient LLM inference via collaborative edge computing. IEEE Internet Things J. (2024)","DOI":"10.1109\/JIOT.2024.3524255"},{"key":"2523_CR15","unstructured":"T. Xie, Z. Gao, Q. Ren, H. Luo, Y. Hong, B. Dai, J. Zhou, K. Qiu, Z. Wu, C. Luo. Logic-RL: Unleashing LLM reasoning with rule-based reinforcement learning. arXiv preprint arXiv:2502.14768 (2025)"},{"key":"2523_CR16","unstructured":"M. Luo, S. Tan, J. Wong, X. Shi, W.Y. Tang, M. Roongta, C. Cai, J. Luo, L.E. Li, R.A. Popa, I. Stoica, Deepscaler: Surpassing o1-preview with a 1.5b model by scaling RL. https:\/\/pretty-radio-b75.notion.site\/DeepScaleR-Surpassing-O1-Preview-with-a-1-5B-Model-by-Scaling-RL-19681902c1468005bed8ca (Notion Blog, 2025)"},{"key":"2523_CR17","unstructured":"P. Aggarwal, S. Welleck, L1: Controlling how long a reasoning model thinks with reinforcement learning. arXiv preprint arXiv:2503.04697 (2025)"},{"key":"2523_CR18","unstructured":"A. Yang, B. Yang, B. Zhang, B. Hui, B. Zheng, B. Yu, C. Li, D. Liu, F. Huang, H. Wei, H. Lin, J. Yang, J. Tu, J. Zhang, J. Yang, J. Yang, J. Zhou, J. Lin, K. Dang, K. Lu, K. Bao, K. Yang, L. Yu, M. Li, M. Xue, P. Zhang, Q. Zhu, R. Men, R. Lin, T. Li, T. Xia, X. Ren, X. Ren, Y. Fan, Y. Su, Y. Zhang, Y. Wan, Y. Liu, Z. Cui, Z. Zhang, Z. Qiu, Qwen2.5 technical report. arXiv preprint arXiv:2412.15115 (2024)"},{"key":"2523_CR19","unstructured":"G. Team, A. Kamath, J. Ferret, S. Pathak, N. Vieillard, R. Merhej, S. Perrin, T Matejovicova, A. Rame, M. Riviere, et al., Gemma 3 technical report. arXiv preprintarXiv:2503.19786 (2025)"}],"container-title":["EURASIP Journal on Wireless Communications and Networking"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13638-025-02523-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1186\/s13638-025-02523-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/s13638-025-02523-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T12:35:55Z","timestamp":1761568555000},"score":1,"resource":{"primary":{"URL":"https:\/\/jwcn-eurasipjournals.springeropen.com\/articles\/10.1186\/s13638-025-02523-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,27]]},"references-count":19,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2025,12]]}},"alternative-id":["2523"],"URL":"https:\/\/doi.org\/10.1186\/s13638-025-02523-3","relation":{},"ISSN":["1687-1499"],"issn-type":[{"value":"1687-1499","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,27]]},"assertion":[{"value":"26 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The author(s) declared no potential conflicts of interest with respect to the research, author-ship, and\/or publication of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"85"}}