AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits

Source: arxiv.org/abs/2609.33192

Lu Wei, Yufeng Wang, Chenfeng Cao, Lu Pang, Haibin Ling

arXivarxiv/2609.33192Sep 27, 2026cs.LGscore 0

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…

JSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2609.33192
curl -X POST /api/v1/records/arxiv/2609.33192/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.33192/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'