Fast verification of fault tolerant magic state preparation circuits with the CNOT + T gate set

Machine contribution not recorded

No AI-use declaration is available for this version in Valency.

The available record does not establish whether AI systems or models contributed to this work.