TY  - RPRT
TI  - M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
AU  - Mengting He
AU  - Shihao Xia
AU  - Haomin Jia
AU  - Wenfei Wu
AU  - Linhai Song
PY  - 2026
UR  - https://arxiv.org/abs/2603.24595
ID  - 2603.24595
ER  -