An effective framework for mathematical data synthesis to improve model's robustness and generalization.