{"id":"2308.03277","title":"From Ambiguity to Explicitness: NLP-Assisted 5G Specification Abstraction for Formal Analysis","url":"https://codeofpaper.com/paper/2308.03277","arxiv_url":"https://arxiv.org/abs/2308.03277","published":"2023-08-07","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}