Full-day tutorial (TUT13) at IEEE Quantum Week 2025 (QCE25), co-presented with David Kremer and Victor Villar (IBM Quantum). Quantum circuit optimization is essential for getting the most out of current quantum hardware, and AI methods have emerged …