Jingda Yang Ying Wang 0113 Trustworthy Formal Verification in 5G Protocols: Evaluating Generative and Classification Models for Relation Extraction. 956-962 2024 MILCOM https://doi.org/10.1109/MILCOM61039.2024.10773775 conf/milcom/2024 db/conf/milcom/milcom2024.html#YangW24