This is the source code for our paper accepted by NeurIPS 2025: Self-Verifying Reflection Helps Transformers with CoT Reasoning. Most configurations (e.g., model architectures, hyperparameters, ...