code generation 1computer-aided design 1Dafny 1exemplar selection 1formal verification 1in-context learning 1program analysis 1reinforcement learning 1specification synthesis 1submodular optimization 1test generation 1
From the 2 of 8 linked papers with an AI index.
Showing cs.LGShow all
3 papers · 1 filter
cs.LG2026
ACES: Who Tests the Tests? Leave-One-Out AUC Consistency for Code Generation
Hui Sun, Yun-Ji Zhang, Zheng Xie +4
Selecting LLM-generated code candidates using LLM-generated tests is challenging because the tests themselves may be incorrect. Existing methods either treat all tests equally or r…
cs.LG2026
Exploring Pass-Rate Reward in Reinforcement Learning for Code Generation
Xin-Ye Li, Ren-Biao Liu, Yun-Ji Zhang +3
Reinforcement learning (RL) from unit-test feedback has become a standard post-training recipe for improving large language models (LLMs) on code generation. However, the pass-all-…
cs.LG2025★ 1 cited
Mitigating Negative Transfer via Reducing Environmental Disagreement
Hui Sun, Zheng Xie, Hao-Yuan He +1
Unsupervised Domain Adaptation~(UDA) focuses on transferring knowledge from a labeled source domain to an unlabeled target domain, addressing the challenge of \emph{domain shift}.…