{"id":"arxiv/2609.33192","url":"https://arxiv.org/abs/2609.33192","tags":["cs.LG","cs.CL","quant-ph"],"score":0,"title":"AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits","domain":"cs.LG","source":"arxiv","authors":["Lu Wei","Yufeng Wang","Chenfeng Cao","Lu Pang","Haibin Ling"],"reviews":0,"subject":"cs.LG","summary":"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 framework, each target is given as compact signed stabilizer generators, and an exact verifier checks the generated OpenQASM circuits. We supervise models with Aaronson-Gottesman chain-of-thought (AG-CoT) traces checked by the verifier, and continue training on model generations…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-27","reactions":{}}