@misc{indiciaef023091bfca9,
  title = {M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification},
  author = {Mengting He and Shihao Xia and Haomin Jia and Wenfei Wu and Linhai Song},
  year = {2026},
  url = {https://arxiv.org/abs/2603.24595},
  note = {Source identifier: 2603.24595}
}