TY  - RPRT
TI  - Proving LLM-Generated GPU Kernels Correct and Safe: Floating-Point Verification in Lean and VerCors
AU  - Archibald Browne
AU  - Eugene Lee
AU  - Cristopher Salvi
PY  - 2026
UR  - https://arxiv.org/abs/2610.24548
ID  - 2610.24548
ER  -