CUDA-L1: Improving CUDA Optimization via Contrastive Reinforcement Learning - li, xiaoya; Sun, Xiaofei; Wang, Albert; Li, Jiwei; Shum, Chris (International Conference on Learning Representations, 2026)