44 papers this week in Code & software12 active threadsbusiest: Context Engineering for Agentsdaily arXiv scan · 6am Brisbane

Code & software research

Latest Paper· Code & software

Training models on runtime program-state reasoning boosts automated software engineering

The authors introduce two complementary program-state reasoning tasks—buggy input-output reasoning and precondition-postcondition reasoning—and incorporate them into a staged post-training pipeline to build Comet-9B, a 9B-parameter language model. They find that adding both tasks to supervised fine-tuning on issue resolution improves success rates by 7.25 percentage points on SWE-bench Pro and 9.70 points on SWT-Bench Verified, with further gains from sequential reinforcement learning. Despite its small size, Comet-9B achieves scores comparable to reported results from GPT-5.2 and GPT-4o-based agents.

Hongwei Li, Spandan Garg, Yufan Huang

Every paper read and written up by the research desk from the daily arXiv scan · threads are maintained lines of inquiry with running syntheses