Quantum Circuit Design using a Progressive Widening Monte Carlo Tree Search. - Vincenzo Lipardi; Domenica Dibenedetto; Georgios Stamoulis; Mark H. M. Winands (CoRR, 2025)