Improving Quantum Circuit Synthesis with Machine Learning