*license_notice_EDS_guest_loggedout* *Login*

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

Title:

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

Authors:

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

Source:

2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) Code Generation and Optimization (CGO), 2026 IEEE/ACM International Symposium on. :740-755 Jan, 2026

Relation:

2026 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)

Database:

IEEE Xplore Digital Library

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

*Links*

*Additional functions*

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

Links

Additional functions