Paper page - REPOT: Recoverable Program-of-Thought via Checkpoint Repair
… RePoT treats the program as a checkpoint , not a final answer: it runs the emitted plan through a deterministic verifier, stops at the first invalid transition, and asks the model for one repair call from the verified prefix. No fine-tuning, no rollout-time search. …