用于LLM生成的GPU内核的合约级验证器 一种新方法通过合同级验证器来验证LLM生成的GPU内核的正确性，确保AI生成的代码在复杂任务中的正确性和效率。 2026-08-15 AI & Machine Learning 0 Administrator