双语数学推理模型