On: Artificial Intelligence for Quantum Computing

[westurner]

Solvay-Kiteav theorem: https://en.wikipedia.org/wiki/Solovay%E2%80%93Kitaev_theorem

/? Solvay-Kiteav theorem Cirq QISkit: https://www.google.com/search?q=Solvay-Kiteav+theorem+cirq+q...

qiskit/transpiler/passes/synthesis/solovay_kitaev_synthesis.py: https://github.com/Qiskit/qiskit/blob/main/qiskit/transpiler...

qiskit/synthesis/discrete_basis/solovay_kitaev.py: https://github.com/Qiskit/qiskit/blob/stable/1.2/qiskit/synt...

SolovayKitaevDecomposition: https://docs.quantum.ibm.com/api/qiskit/qiskit.synthesis.Sol...

What are more current alternatives to the Solvay-Kiteav theorem for gate-based quantum computing?

[IIAOPSW → westurner]

The more current alternatives (iirc) are usually specific to the particular hardware and the gates its capable of rather than a general solution.

Though to be fair this topic was tangential to my focus and I'm a bit rusty on it so I'd have to look around to answer that.