TY - RPRT TI - A Contract-Grade Verifier for LLM-Generated GPU Kernels, and a Native Blackwell Backward for the Gated-Linear-Recurrence Family AU - Rishi Shah AU - Rishav Shrestha PY - 2026 UR - https://arxiv.org/abs/2608.12700 ID - 2608.12700 ER -