Solving Algorithmic Problems in Finitely Presented Groups via Machine Learning