RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof

arXiv:2610.05683 · cs.PL, cs.DC, cs.LG · Submitted 2026-10-05 · Read on arXiv