GraphAlignCoder: Aligning Program and Proof Graphs for Code Generation
Source
Yueke Zhang, Zihan Fang, Kevin Leach, Yu Huang
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
articleFunction-Level Execution Feedback for Code Preference OptimizationIdris Nechnech, Sehwan Kim, Jimin Seo, Yeongoon Kim, Minhae Oh, Sangwoo Hong, Jungwoo Lee
articleCode Health in LLM-Based Test Generation: Effectiveness and Token EfficiencyFreya Wirdemann, Markus Borg, Nadim Hagatulah, Adam Tornhill