paper-with-me

홈 › Papers

REPOT: Recoverable Program-of-Thought via Checkpoint Repair

2026-05-28 · Parsa Mazaheri arxiv

One-shot Program-of-Thought (PoT) emits a Python program that prints a primitive-action plan; a single invalid action silently invalidates the trajectory. We introduce RePoT (Recoverable PoT): a deterministic verified replay that walks the plan through the environment to its first invalid transition, then one LLM call that resumes from the verified prefix. RePoT costs at most one extra LLM call on the ~14% of problems where PoT fails. RePoT beats PoT by +3 to +11pp across four closed-model configurations on PuzzleZoo-775 and peaks at 96.9% vs 86.3% on gpt-5.4-mini-medium; against the matched-budget PoT-retry baseline, RePoT wins decisively on Gemini (+3.8pp, 95% CI [+2.2,+5.4]), is within sampling noise on GPT-medium and Claude, and loses on GPT-mini -- a capability-scaling pattern we begin to address with Adaptive RePoT, a rule-based dispatcher that routes between suffix repair and a fresh PoT retry based on verified-prefix length (preliminary). We replicate on PlanBench Blocksworld (+1.1 to +11.4pp) and on four open-weights models (+3.3 to +20.0pp on three of four). On Derail-550, our controlled recovery benchmark, every condition with access to checkpoint information clears >=30% on GPT-medium and >=70% on Gemini, vs <=3.1% for error-only feedback -- showing that checkpoint information, not the specific verified-prefix tail, is the load-bearing recovery signal.

📄 PDF Abstract BibTeX arXiv:2605.30052

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Teaching Code LLMs to Reason with Intermediate Formal Specifications

2026-07-05 · Minh Le-Anh, Cuong Chi Le, Tien N. Nguyen arxiv

Unlike natural-language specifications, executable formal specifications provide machine-checkable constraints for verifying, debugging, and repairing code. However, writing such specifications is labor-intensive, and ex…

Program Repair

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support

2026-05-14 · Alexander Du, Jianjun Ou, Danyang Zhuo, Matthew Lentz arxiv

Large language models are increasingly used for code generation, but many generated programs fail to compile, a prerequisite for further correctness checks such as unit tests. Existing solutions for repairing static erro…

Code Generation

ContextSniper: AntTrail's Token-Efficient Code Memory for Repository-Level Program Repair

2026-07-02 · Chiwang Luk, Matin Mohammad Najafi, Zhifeng Jia, Wei Yang 외 arxiv

Large language model agents can repair real repository issues, but they often spend large context budgets on whole-file reads, broad searches, and long terminal outputs where useful evidence is mixed with irrelevant code…

Program Repair

R3A: Reliable RTL Repair Framework with Multi-Agent Fault Localization and Stochastic Tree-of-Thoughts Patch Generation

2025-11-25 · Zizhang Luo, Fan Cui, Kexing Zhou, Runlin Guo 외 arxiv

Repairing RTL bugs is crucial for hardware design and verification. Traditional automatic program repair (APR) methods define dedicated search spaces to locate and fix bugs with program synthesis. However, they heavily r…

Program SynthesisProgram Repair

Multi-Task Program Error Repair and Explanatory Diagnosis

2024-10-09 · Zhenyu Xu, Victor S. Sheng

Program errors can occur in any type of programming, and can manifest in a variety of ways, such as unexpected output, crashes, or performance issues. And program error diagnosis can often be too abstract or technical fo…

Graph Neural NetworkLanguage ModelingLanguage Modelling