SemanticSpec introduces a semantic probability estimation mechanism that probes the model's internal hidden states to assess the likelihood of generating sequences with specific meanings, and proposes SemanticSpec, a semantic-aware speculative decoding framework that verifies entire semantic sequences instead of tokens...
Xi-Ming Dong, Shao-Wei Wang, Dayi Lin et al.· arXiv.org· 3 citations
MindForge is introduced, an automated pipeline that converts open-source command-line programs into source-free environments that expose only a compiled reference executable and its documentation that consistently improves over the base model across all seven unseen software engineering benchmarks, spanning long-horizo...
Yihao Chen, Shi Chang, Khaled Chawa et al.· arXiv.org· 0 citations
From an industrial code-generation improvement effort, a maintainer's perspective on why this work is hard in practice is offered, distilling three recurring challenges, zero-sum mixture design, yield as the binding metric, and end-to-end integration under uncertainty, and arguing that progress depends less on one-off...
Gopi Krishnan Rajbahadur, A. M. Ebrahimi, Boyuan Chen et al.· 0 citations
This paper operationalizes developer-oriented NFIs into 92 executable rules and develops a comprehensive evaluation suite that combines functional correctness testing with rule-based NFI evaluation, and evaluates state-of-the-art commercial and open-source coding agents.
Pengyu Xue, Hengchen Yuan, Xin Wang et al.· 0 citations
This work presents SpecFirst, a two-stage framework that forces the specification elicitation before code synthesis, and demonstrates that an explicit requirements-engineering phase is an effective paradigm for from-scratch program construction.
Yihao Chen, Shi Chang, Feng Lin et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
