GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation
Source
arxiv.org
Author
Yueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
Date
Why it matters
Execution feedback only says a program failed; aligning code structure with proof structure supervises how a correct solution should be organized, worth 12 extra solves on LiveCodeBench v6 over CodeRL.
articleCompiler-Guided Adaptive Proof Search with Cross-Model Synergy on Context-Dependent Theorem ProvingZhuo Liu, Ding Yu, Hangfeng He
articleVerified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal ControlDev Pratap Singh, Rong Feng, Suman Saha
articleExecuCritic: Calibrated Critic Shaping for Code Generation with Verifiable RewardsJunjie Cao, Yingjie He