In the SQUARE paper, the evaluation and examples are in Scaffold, augmented with a synthactic construct to flag uncomputation. How are the examples in the benchmark (in Cirq) converted to this format?
Besides, I don't understand the number of qubits reported in the paper for the lazy baseline. For instance in rd53 , only 11 qubits are allocated, while the paper reports that 19 are used by the lazy implementation of this example. Could you explain the discrepancy?
In the SQUARE paper, the evaluation and examples are in Scaffold, augmented with a synthactic construct to flag uncomputation. How are the examples in the benchmark (in Cirq) converted to this format?
Besides, I don't understand the number of qubits reported in the paper for the lazy baseline. For instance in rd53 , only 11 qubits are allocated, while the paper reports that 19 are used by the lazy implementation of this example. Could you explain the discrepancy?