PreciseCoder: Faithful and Generalizable Debugging Beyond Unit-Test Rewards
Summary
PreciseCoder 提出在单元测试奖励之外加入语义验证的局部编辑奖励信号,显著减少模型在调试时的多余改动并防止幻觉式 bug 修改;在 4B/9B/27B 模型上将平均编辑行数从 7-15 行降至 3 行,并能泛化到仓库级程序修复,其推理轨迹还能提升 GPT-5.6 Sol 等前沿模型的编辑精度。
View Cached Full Text
Cached at: 10/15/26, 11:00 PM
Paper page - PreciseCoder: Faithful and Generalizable Debugging Beyond Unit-Test Rewards
Source: https://huggingface.co/papers/2610.18755
Abstract
PreciseCoder improves code repair by rewarding precise, localized edits rather than only unit-test passage, reducing unnecessary changes and improving generalization across model sizes.
Reinforcement learning(RL) from unit tests is the common recipe for post-training code models, but a unit test only asks whether the final program passes. We analyze what this unit-test-only reward teaches a model duringdebuggingand find that, while it raises pass rates, it also teaches the model to edit more and tohallucinate bugsin code that is already correct. We introducePreciseCoder, a training algorithm that augments theunit-test rewardwith a signal for semantically verified, localized edits, which correlates with smaller edits and higher pass rates. On 4B, 9B, and 27B models,PreciseCoderreduces the average number ofedit linesfrom 7-15to 3 at a pass rate on par with unit-test-only training. Trained only on single-line bugs,PreciseCodercan generalize torepository-level program repair, where it resolves more issues with smaller patches. Its precision also transfers from weaker to stronger models: given thereasoning traceof a 9BPreciseCodermodel, frontier models such as GPT-5.6 Sol and Qwen3.8-Max gain 4.6-12.4 points inedit precisionwith no additional training. Linguistic analysis of the thinking traces shows that our reward encourages the model to reason about individual lines, name the buggy ones, and form consistent bug hypotheses.
View arXiv pageView PDFProject pageAdd to collection
Get this paper in your agent:
hf papers read 2610\.18755
Don’t have the latest CLI?curl \-LsSf https://hf\.co/cli/install\.sh \| bash
Models citing this paper3
#### PreciseCoder/PreciseCoder-27B Reinforcement Learning• 27B• Updated2 days ago • 56 • 1
#### PreciseCoder/PreciseCoder-4B Reinforcement Learning• 5B• Updated2 days ago • 17 • 1
#### PreciseCoder/PreciseCoder-9B Reinforcement Learning• 9B• Updated2 days ago • 25 • 1
Datasets citing this paper1
#### PreciseCoder/pdb-test Viewer• Updated2 days ago • 1.21k • 311
Spaces citing this paper0
No Space linking this paper
Cite arxiv.org/abs/2610.18755 in a Space README.md to link it from this page.
Collections including this paper0
No Collection including this paper
Add this paper to acollectionto link it from this page.
Similar Articles
Precise Debugging Benchmark: Is Your Model Debugging or Regenerating?
This paper introduces the Precise Debugging Benchmark (PDB), a framework that evaluates LLMs on precise fault localization rather than just test pass rates. Results show frontier models like GPT-4.1-Codex and DeepSeek-V3.2-Thinking pass 76%+ of unit tests but achieve less than 45% edit precision, revealing a critical gap between code regeneration and true debugging.
Verifier-Grounded Agentic RL for Provably Correct Code
提出一种以程序验证器为奖励信号的智能体强化学习框架,通过读取验证器诊断信息(而非二元判决)并加入完整性审计,显著提升Qwen3系列模型在DafnyBench和SWE-Proof等验证基准上的正确率(最高达100%)。
Beyond the Verdict: Agentic Code Judging with Verifiable Feedback
该论文提出了一个让模型仅凭题面和源码判断并诊断候选程序正确性、并以生成反例作为可验证证据的任务,构建了 USACO-JUDGE 基准,并训练了 35B MoE 代理验证器 ARBITER,显著提升了代码验证、选择与改进效果。
UPDATE: "Gentle Coding" is mathematically proven. 1,500+ test runs show major gain for Kimi K2.6 and even more for GLM-5.1! GPT 5.4/5.5 and Claude Sonnet 3.5/Opus 4.6 also better, with ZERO REGRESSION ACROSS THE BOARD.
The 'Gentle Coding' technique is empirically validated across 1,500+ tests, showing significant improvements (zero regression) for multiple models including Kimi K2.6, GLM-5.1, GPT 5.4/5.5, and Claude Sonnet 3.5/Opus 4.6 by reducing looping and hallucinations.
Grammar Concept Annotation at Scale: Deployed Fine-Tuned Small Language Models Outperform Prompted Frontier Models
论文提出用经过筛选和再平衡的教师监督信号微调 Qwen3.5 小模型(0.8B/4B),在语法概念标注任务上超越提示式 GPT-5.4/GPT-5.6 Sol,同时将服务成本降低约 16 倍,并在在线实验中显著提升学习者参与度与业务指标。