Գրեք սա: Machine learning for function synthesis