Preprint Open access
AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits
Scientific code generation can produce executable programs that fail to compute the intended scientific object. We study this problem in language-model synthesis of Clifford circuits, which prepare the stabilizer states used in quantum error correction and admit exact classical verification. In our target-conditioned f …