LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization. - Xiangxin Fang; Jiaqin Kang; Rodrigo Rocha; Sam Ainsworth 001; Lev Mukhanov (CGO, 2026)