@misc{indiciae7bc95ad1468c,
  title = {LARK: Lean-Assisted Reasoning for LLM-Generated GPU Kernels},
  author = {Zixi Zhang and Jiayi Nie and Haoran Wu and Yujie Yan and Yann Herklotz and Rika Antonova and Robert Mullins and Yiren Zhao and George A. Constantinides and Jianyi Cheng},
  year = {2026},
  url = {https://arxiv.org/abs/2611.02028},
  note = {Source identifier: 2611.02028}
}