發送短信: Machine learning for function synthesis