TY  - RPRT
TI  - RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
AU  - Ashkan Vedadi Gargary
AU  - Guido Martínez
AU  - Sebastian Burckhardt
AU  - Gabriel Ebner
AU  - Abhinav Jangda
AU  - Madan Musuvathi
AU  - Tyler Sorensen
PY  - 2026
UR  - https://arxiv.org/abs/2610.05683
ID  - 2610.05683
ER  -