Institutional proof-carrying GPU kernel generation with Lean 4, CUDA/PTX, Futhark, and PAX release governance.
cuda formal-verification ampere futhark model-training ptx gpu-kernels tensor-cores proof-carrying-code lean4 qlora deepseek-coder sovereign-compute pax-coder verified-kernels
-
Updated
Aug 23, 2026 - Python