Paper page - REPOT: Recoverable Program-of-Thought via Checkpoint Repair
…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…