Remix.run Logo
Model2Kernel: Model-Aware Symbolic Execution for Safe CUDA Kernels(arxiv.org)
2 points by PaulHoule 2 days ago