{"id":"2312.17353","title":"Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach","url":"https://codeofpaper.com/paper/2312.17353","arxiv_url":"https://arxiv.org/abs/2312.17353","published":"2023-12-28","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}