Predicting Halo Formation Time Using Machine Learn-ing Academic Article