TY - RPRT TI - AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits AU - Lu Wei AU - Yufeng Wang AU - Chenfeng Cao AU - Lu Pang AU - Haibin Ling PY - 2026 UR - https://arxiv.org/abs/2609.33192 ID - 2609.33192 ER -