arXiv (All)
open access
RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof
AI systems can now write and optimize production GPU kernels, but validating them remains an important challenge. Evaluating the kernel on a few random inputs and checking that its outputs match a trusted reference kernel within numeric tolerances is not sufficient: races can cause nondeterministic
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof#1194391
- MetaKernelBench: Measuring GPU Kernel Knowledge Transfer Beyond Code#1200665
- M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification#793612
- M2K: Making the Model-Kernel Interface Explicit for Reliable CUDA Kernel Verification#789608
- AutoTuneBench: Trustworthy Measurement for Agent Auto-Tuning of LLM Serving Engines#1011819
Record · ID 1201696
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive