Learned ZX Rewriting

We work on machine-learned rewriting strategies for ZX-calculus diagrams, with the aim of simplifying quantum circuits past what fixed rule sets reach. The team brings together ZX-calculus theory and machine learning, with members at the University of Colombo, PEACCEL in Paris, QUISA at the University of Western Australia, and the University of Palermo. We are entering the AI for Quantum track.