Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach.
Jingda YangYing WangPublished in: IEEE Access (2024)
Keyphrases
- language model
- formal verification
- language modeling
- n gram
- model checking
- information retrieval
- document retrieval
- retrieval model
- speech recognition
- language modelling
- query expansion
- probabilistic model
- automated verification
- context sensitive
- statistical language models
- mixture model
- test collection
- statistical language modeling
- language model for information retrieval
- translation model
- vector space model
- model checker
- smoothing methods
- pseudo relevance feedback
- ad hoc information retrieval
- language models for information retrieval
- search engine
- text categorization
- keywords