M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification
cs.PL, cs.AI
Submitted: 2026-03-06
Updated: 2026-08-29
Code: https://github.com/vllm-project/vllm
Terminology
Sources
- ProofWright: Towards Agentic Formal Verification of CUDA
- Evaluating Large Language Models Trained on Code
- Emergent autonomous scientific research capabilities of large language models
- On the Opportunities and Risks of Foundation Models
- Sparks of Artificial General Intelligence: Early experiments with GPT-4
- A Complete Survey on LLM-based AI Chatbots
- A Survey on Large Language Models for Code Generation
- Gemini 1.5: Unlocking multimodal understanding across millions of tokens of context
- A Survey of Large Language Models
- A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
- GPUArmor: A Hardware-Software Co-design for Efficient and Scalable Memory Safety on GPUs