LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization.

Xiangxin Fang, Jiaqin Kang, Rodrigo Rocha, Sam Ainsworth, Lev Mukhanov

Browse the full CGO paper archive.