Supplementary materials for TGPO: Trace-Guided Policy Optimization for Robot Task Planning via Verifiable Subgoal Generation.