Bravyi et al.'s 1003-Circuit Benchmark

Compare our equivariant neural network with Bravyi et al.'s peephole optimiser on benchmark tableaus from the optimal 6-qubit Clifford database: our agent often finds the optimal two-qubit gate count in seconds per circuit, while symbolic optimisation can take hours.