PreciseCoder: Faithful and Generalizable Debugging Beyond Unit-Test Rewards

Hugging Face Daily Papers Papers

Summary

PreciseCoder 提出在单元测试奖励之外加入语义验证的局部编辑奖励信号,显著减少模型在调试时的多余改动并防止幻觉式 bug 修改;在 4B/9B/27B 模型上将平均编辑行数从 7-15 行降至 3 行,并能泛化到仓库级程序修复,其推理轨迹还能提升 GPT-5.6 Sol 等前沿模型的编辑精度。

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 during debugging and find that, while it raises pass rates, it also teaches the model to edit more and to hallucinate bugs in code that is already correct. We introduce PreciseCoder, a training algorithm that augments the unit-test reward with a signal for semantically verified, localized edits, which correlates with smaller edits and higher pass rates. On 4B, 9B, and 27B models, PreciseCoder reduces the average number of edit lines from 7-15to 3 at a pass rate on par with unit-test-only training. Trained only on single-line bugs, PreciseCoder can generalize to repository-level program repair, where it resolves more issues with smaller patches. Its precision also transfers from weaker to stronger models: given the reasoning trace of a 9B PreciseCoder model, frontier models such as GPT-5.6 Sol and Qwen3.8-Max gain 4.6-12.4 points in edit precision with 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.
Original Article
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?

Hugging Face Daily Papers

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

arXiv cs.LG

提出一种以程序验证器为奖励信号的智能体强化学习框架,通过读取验证器诊断信息(而非二元判决)并加入完整性审计,显著提升Qwen3系列模型在DafnyBench和SWE-Proof等验证基准上的正确率(最高达100%)。

Beyond the Verdict: Agentic Code Judging with Verifiable Feedback

Hugging Face Daily Papers

该论文提出了一个让模型仅凭题面和源码判断并诊断候选程序正确性、并以生成反例作为可验证证据的任务,构建了 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.

Reddit r/LocalLLaMA

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.