5 citations · 5 across the 2 of their papers we have counts for
4 papers · 1 filter
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
Lingxiao Tang, He Ye, Zhaoyang Chu +4
Code LLMs still struggle with code execution reasoning, especially in smaller models. Existing methods rely on supervised fine-tuning (SFT) with teacher-generated explanations, pri…
Prometheus: Towards Long-Horizon Codebase Navigation for Repository-Level Problem Solving
Yue Pan, Zimin Chen, Siyu Lu +8
Large Language Models (LLMs) have shown remarkable capabilities in automating software engineering tasks, spurring the emergence of coding agents that scaffold LLMs with external t…
Megadiff: A Dataset of 600k Java Source Code Changes Categorized by Diff Size
Martin Monperrus, Matias Martinez, He Ye +3
This paper presents Megadiff, a dataset of source code diffs. It focuses on Java, with strict inclusion criteria based on commit message and diff size. Megadiff contains 663 029 Ja…
A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark
He Ye, Matias Martinez, Thomas Durieux +1
Automatic program repair papers tend to repeatedly use the same benchmarks. This poses a threat to the external validity of the findings of the program repair research community. I…