TY  - RPRT
TI  - LARK: Lean-Assisted Reasoning for LLM-Generated GPU Kernels
AU  - Zixi Zhang
AU  - Jiayi Nie
AU  - Haoran Wu
AU  - Yujie Yan
AU  - Yann Herklotz
AU  - Rika Antonova
AU  - Robert Mullins
AU  - Yiren Zhao
AU  - George A. Constantinides
AU  - Jianyi Cheng
PY  - 2026
UR  - https://arxiv.org/abs/2611.02028
ID  - 2611.02028
ER  -