AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits
This work studies language-model synthesis of Clifford circuits, which prepare the stabilizer states used in quantum error correction and admit exact classical verification, in a target-conditioned framework.
Lu Wei, Yu-Feng Wang, Chen-Feng Cao et al.
· 0 citations