REVIEW 23 cited by
RLEF: Grounding Code LLMs in Execution Feedback with Reinforcement Learning
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Large language models (LLMs) deployed as agents solve user-specified tasks over multiple steps while keeping the required manual engagement to a minimum. Crucially, such LLMs need to ground their generations in any feedback obtained to reliably achieve the desired outcomes. We propose an end-to-end reinforcement learning method for teaching models to leverage execution feedback in the realm of code synthesis, where state-of-the-art LLMs struggle to improve code iteratively compared to independent sampling. We benchmark on competitive programming tasks, where we achieve new state-of-the art results with both small (8B parameters) and large (70B) models while reducing the amount of samples required by an order of magnitude. Our analysis of inference-time behavior demonstrates that our method produces LLMs that effectively leverage automatic feedback over multiple steps.
Forward citations
Cited by 23 Pith papers
-
Reinforcement Learning with Verifiable Physics: Post-training LLMs with Continuous Rewards
RLVP post-trains one LLM across eight PDE families with hybrid validity-plus-continuous physics rewards, improving solver accuracy and enabling selective compositional transfer to held-out PDEs.
-
An Iterative Test-and-Repair Framework for Competitive Code Generation
FixAudit improves LLM code generation on competitive programming benchmarks by training a shared model for iterative code-aware test generation and repair, achieving 35%+ gains in Pass@1 over baselines on the same 7B model.
-
Training Language Models to Generate Quality Code with Program Analysis Feedback
REAL trains LLMs with rewards from program analysis and unit tests, improving joint functionality and code quality over prior methods.
-
Beyond the Need for Speed: Energy-Aware Code Generation via Simulation-Guided Reinforcement Learning
Simulation-in-the-loop GRPO on energy-labeled C++ pairs yields 12.63% CARET and beats human energy efficiency on 58.4% of valid held-out outputs, while IPC misranks energy on 67.8% of problems.
-
LEAP: Lean Environment-Feedback via Adaptive Pruning for Code RL in GPU Kernel Generation
LEAP combines difficulty-conditioned pruning with pairwise rank-based rewards to improve multi-turn reinforcement learning for CUDA kernel generation.
-
RLPF: Reinforcement Learning from Performance Feedback for Code Generation
RLPF's staged performance reward lifts Qwen3-32B on PerfCodeBench from 11.1% to 54.6% correct-and-runnable and from 8.1% to 38.6% relative efficiency.
-
Skill Self-Play: Pushing the Frontier of LLM Capability with Co-Evolving Skills
Skill Self-Play uses an evolving skill library to guide LLM self-training, improving tool-call and reasoning accuracy beyond unguided self-play on five model backbones.
-
Training Large Language Models for Self-Explanation Faithfulness
RL fine-tuning with a counterfactual mention/influence reward raises LLM self-explanation faithfulness (Phi-CCT) from near zero to ~0.66 in-distribution for two 8B models, with partial transfer to held-out tasks.
-
CSPF: A Constrained Shared-Private Fusion Method for Non-Verifiable Preference Evaluation
Fusing hidden states of multiple frozen reward models under shared-private constraints improves pairwise preference accuracy over scalar-score fusion and single-expert adapters on LM-Arena and PPE.
-
NEURA: A Unified and Retargetable Compilation Framework for Coarse-Grained Reconfigurable Architectures
NEURA flattens CGRA control flow into a pure predicated dataflow IR and reports 2.20× kernel and up to 2.71× application speedups over high-performance SOTA baselines.
-
Beyond Binary: Turning Partial Success into Dense Verifiable Rewards for Reinforcement Learning in Code Generation
VeRPO turns partial test-suite success into dense, difficulty-weighted rewards for RL code generation, beating GRPO by up to 8.8 pass@1 points at negligible cost.
-
KernelEvolve: Scaling Agentic Kernel Coding for Heterogeneous AI Accelerators at Meta
An agentic kernel-coding system combining tree search with hardware-knowledge retrieval generated optimized Triton kernels for NVIDIA, AMD, and Meta's MTIA accelerators: 100% correctness on 480 operator-platform confi...
-
VERIRL: Boosting the LLM-based Verilog Code Generation via Reinforcement Learning
VERIRL applies reinforcement learning with a trace-back rescore mechanism and sample-balanced weighting to achieve state-of-the-art Verilog code generation.
-
Adaptive Guidance Accelerates Reinforcement Learning of Reasoning Models
Guide, a new RL method that injects hints on total failure with off-policy correction, improves math pass@1 by a few points, while the paper argues RLVR progress is mostly self-distillation.
-
LlamaRL: A Distributed Asynchronous Reinforcement Learning Framework for Efficient Large-scale LLM Training
LlamaRL is a distributed asynchronous RL framework that reports up to 10.7x faster RL post-training steps for 405B-parameter LLMs than a co-located synchronous baseline, using off-policy corrections and GPU-direct wei...
-
Afterburner: Reinforcement Learning Facilitates Self-Improving Code Efficiency Optimization
Reinforcement learning with execution feedback enables a code model to iteratively improve the efficiency of its own generated code, surpassing supervised and preference-based training methods.
-
Reinforcing General Reasoning without Verifiers
VeriFree trains LLMs with RL by maximizing the likelihood of the reference answer after generated reasoning, matching verifier-based RL without any verifier.
-
What I cannot execute, I do not understand: Training and Evaluating LLMs on Program Execution Traces
Training an 8B LLM on Python execution traces improves output prediction on CruxEval and MBPP to about 80%, with dynamic scratchpads extending accurate predictions to executions of over ten thousand steps.
-
PCSD: Persistent Consistency for Self-Distillation in Agentic Reinforcement Learning
PCSD derives token-level distillation weights from the persistence of teacher-favoring signals and improves ALFWorld agent success by 15.6 points over GRPO.
-
Improving LLM-Generated Code Quality with GRPO
Adding a hand-built code-quality score to the GRPO reward makes a 3B model produce code that blind raters prefer, but evidence rests on one model and a synthetic benchmark.
-
Adopting Reinforcement Learning with Verifiable Rewards for Molecular Generation
LLMol fine-tunes an LLM on simplified SELFIES and uses GRPO with RDKit-derived rewards for targeted molecular generation, but its own benchmark tables contradict the claimed state-of-the-art performance.
-
CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement
CodeGrad improves code generation by routing structured critic feedback into up to two refinement rounds, but its formal-verification claim rests on AI-written proofs judged by the AI.
-
Reinforcement learning fine-tuning of language model for instruction following and math reasoning
RLOO with a DeBERTa reward model reaches a 0.695 win rate on instruction following, while best-of-N with an exact-match verifier lifts Countdown accuracy from 0.37 to 0.811.
Discussion (0). Continue with ORCID to comment.