Stav dette: Machine learning for function synthesis