Jingda Yang, Paul Ratazzi, Ying Wang 0113. Unifying Generative and Classification-Based Relation Extraction via MCTS for nextG Protocol Formal Verification. In IEEE Military Communications Conference, MILCOM 2025, Los Angeles, CA, USA, October 6-10, 2025. pages 1308-1314, IEEE, 2025. [doi]
Abstract is missing.