Gradient-Based Optimization Enables Scalable Fault-Tolerant Quantum Gate Synthesis

We develop a numerical approach to optimizing a quantum circuit over a discrete gate set by using gradient descent to tune $R_Z$ angles to a solution where many $R_Z$ gates can be rounded to a Clifford or $T$ gate without introducing further synthesis error. Through benchmarking, we show that our ap