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

Xiangxin Fang, Jiaqin Kang, Rodrigo Rocha, Sam Ainsworth 0001, Lev Mukhanov. LLM-VeriOpt: Verification-Guided Reinforcement Learning for LLM-Based Compiler Optimization. In Stephen M. Blackburn, Albert Cohen 0001, Timothy M. Jones 0001, editors, IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2026, Sydney, Australia, January 31 - Feb. 4, 2026. pages 740-755, IEEE, 2026. [doi]

Authors

Xiangxin Fang

This author has not been identified. Look up 'Xiangxin Fang' in Google

Jiaqin Kang

This author has not been identified. Look up 'Jiaqin Kang' in Google

Rodrigo Rocha

This author has not been identified. Look up 'Rodrigo Rocha' in Google

Sam Ainsworth 0001

This author has not been identified. Look up 'Sam Ainsworth 0001' in Google

Lev Mukhanov

This author has not been identified. Look up 'Lev Mukhanov' in Google