{"id":"https://openalex.org/W7214716140","doi":"https://doi.org/10.48550/arxiv.2609.33192","title":"AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits","display_name":"AG-CoT: Verified Algorithmic Traces for LLM Program Synthesis on Clifford Circuits","publication_year":2026,"publication_date":"2026-09-27","ids":{"openalex":"https://openalex.org/W7214716140","doi":"https://doi.org/10.48550/arxiv.2609.33192"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.33192","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.33192","pdf_url":"https://arxiv.org/pdf/2609.33192","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.33192","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5153533849","display_name":"Lu Wei","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wei, Lu","raw_affiliation_strings":["Data Science Department ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Data Science Department ,","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5153415675","display_name":"Yufeng Wang","orcid":"https://orcid.org/0009-0007-6023-5396","observed_orcids":["https://orcid.org/0009-0007-6023-5396"]},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wang, Yufeng","raw_affiliation_strings":["Department of Computer Science , Stony Brook University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061415973","display_name":"Chenfeng Cao","orcid":"https://orcid.org/0000-0001-5589-7503","observed_orcids":["https://orcid.org/0000-0001-5589-7503"]},"institutions":[{"id":"https://openalex.org/I75951250","display_name":"Freie Universit\u00e4t Berlin","ror":"https://ror.org/046ak2485","country_code":"DE","type":"education","lineage":["https://openalex.org/I75951250"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Cao, Chenfeng","raw_affiliation_strings":["Dahlem Center for Complex Quantum Systems , Freie Universit\u00e4t Berlin"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dahlem Center for Complex Quantum Systems , Freie Universit\u00e4t Berlin","institution_ids":["https://openalex.org/I75951250"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112985150","display_name":"Lu Pang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Pang, Lu","raw_affiliation_strings":["Department of Computer Science , Stony Brook University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science , Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061469520","display_name":"Haibin Ling","orcid":"https://orcid.org/0000-0003-4094-8413","observed_orcids":["https://orcid.org/0000-0003-4094-8413"]},"institutions":[{"id":"https://openalex.org/I3133055985","display_name":"Westlake University","ror":"https://ror.org/05hfa4n20","country_code":"CN","type":"education","lineage":["https://openalex.org/I3133055985"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ling, Haibin","raw_affiliation_strings":["Westlake University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Westlake University","institution_ids":["https://openalex.org/I3133055985"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":9.999999747378752e-05,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/clifford-circuits","display_name":"Clifford circuits","score":0.9869999885559082},{"id":"https://openalex.org/keywords/stabilizer-states","display_name":"stabilizer states","score":0.9139999747276306},{"id":"https://openalex.org/keywords/openqasm","display_name":"OpenQASM","score":0.7070000171661377},{"id":"https://openalex.org/keywords/state-equivalence","display_name":"state equivalence","score":0.6159999966621399},{"id":"https://openalex.org/keywords/quantum-error-correction","display_name":"quantum error correction","score":0.8500000238418579},{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.4390000104904175}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7634999752044678},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6603000164031982},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5825999975204468},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.5652999877929688},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4855000078678131},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48089998960494995},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4372999966144562},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42820000648498535},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4092000126838684},{"id":"https://openalex.org/C103088060","wikidata":"https://www.wikidata.org/wiki/Q1062839","display_name":"Error detection and correction","level":2,"score":0.4000000059604645},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3928999900817871},{"id":"https://openalex.org/C70846408","wikidata":"https://www.wikidata.org/wiki/Q220433","display_name":"Logical equivalence","level":3,"score":0.3926999866962433},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.37459999322891235},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.37229999899864197},{"id":"https://openalex.org/C151602998","wikidata":"https://www.wikidata.org/wiki/Q485287","display_name":"Analytic continuation","level":2,"score":0.3587999939918518},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.35010001063346863},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3458999991416931},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.30570000410079956},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.30219998955726624},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.2987000048160553},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2944999933242798},{"id":"https://openalex.org/C114408938","wikidata":"https://www.wikidata.org/wiki/Q333373","display_name":"Abstract syntax","level":3,"score":0.2833999991416931},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.2712000012397766},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.26330000162124634},{"id":"https://openalex.org/C2988963302","wikidata":"https://www.wikidata.org/wiki/Q629206","display_name":"Program code","level":2,"score":0.25110000371932983},{"id":"https://openalex.org/C6239989","wikidata":"https://www.wikidata.org/wiki/Q5419224","display_name":"Exact statistics","level":3,"score":0.2506999969482422}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.33192","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.33192","pdf_url":"https://arxiv.org/pdf/2609.33192","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.33192","doi":"https://doi.org/10.48550/arxiv.2609.33192","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.33192","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.33192","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.33192","pdf_url":"https://arxiv.org/pdf/2609.33192","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214716140.pdf","grobid_xml":"https://content.openalex.org/works/W7214716140.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W1839785972","https://openalex.org/W2035993353","https://openalex.org/W2052146120","https://openalex.org/W2103368228","https://openalex.org/W2913031193","https://openalex.org/W3158260911","https://openalex.org/W3158389508","https://openalex.org/W3177813494","https://openalex.org/W3195140297","https://openalex.org/W4226287673","https://openalex.org/W4318686623","https://openalex.org/W4387561528","https://openalex.org/W4389519979","https://openalex.org/W4391631327","https://openalex.org/W4398135755","https://openalex.org/W4399424712","https://openalex.org/W4402733601","https://openalex.org/W4403796339","https://openalex.org/W4404782360","https://openalex.org/W4404782852","https://openalex.org/W4416034026","https://openalex.org/W4416035052","https://openalex.org/W4416035674","https://openalex.org/W4416874202","https://openalex.org/W7125908344","https://openalex.org/W7127651888","https://openalex.org/W7155514575","https://openalex.org/W7164818937"],"related_works":["https://openalex.org/W7162120814","https://openalex.org/W7138842439","https://openalex.org/W4388301908","https://openalex.org/W7222984489","https://openalex.org/W2803889673","https://openalex.org/W6925349166","https://openalex.org/W7223336041","https://openalex.org/W7203861086","https://openalex.org/W7169761869","https://openalex.org/W7213590431"],"abstract_inverted_index":{"Scientific":[0],"code":[1],"generation":[2],"can":[3,196],"produce":[4],"executable":[5],"programs":[6],"that":[7,80,123,156,171,189],"fail":[8],"to":[9,101,144],"compute":[10],"the":[11,27,58,72,81,133,204],"intended":[12],"scientific":[13],"object.":[14],"We":[15,62],"study":[16,121],"this":[17],"problem":[18],"in":[19,31,166],"language-model":[20],"synthesis":[21],"of":[22],"Clifford":[23,130,183],"circuits,":[24],"which":[25],"prepare":[26,203],"stabilizer":[28,51],"states":[29],"used":[30],"quantum":[32,206],"error":[33],"correction":[34],"and":[35,53,74,91,107,129,170,185,199],"admit":[36],"exact":[37,55,190],"classical":[38],"verification.":[39],"In":[40],"our":[41],"target-conditioned":[42],"framework,":[43],"each":[44],"target":[45],"is":[46,192],"given":[47],"as":[48],"compact":[49],"signed":[50],"generators,":[52],"an":[54],"verifier":[56,82],"checks":[57],"generated":[59],"OpenQASM":[60],"circuits.":[61],"supervise":[63],"models":[64,125],"with":[65,150],"Aaronson-Gottesman":[66],"chain-of-thought":[67],"(AG-CoT)":[68],"traces":[69],"checked":[70],"by":[71,99],"verifier,":[73],"continue":[75],"training":[76,110],"on":[77],"model":[78,88,136,168],"generations":[79],"accepts.":[83],"Across":[84],"two":[85],"independently":[86],"trained":[87],"families":[89,169],"(3B":[90],"7B),":[92],"AG-CoT":[93],"supervision":[94,159],"multiplies":[95],"greedy-decode":[96],"state-equivalence":[97],"accuracy":[98],"four":[100],"six":[102],"times":[103],"over":[104,145],"circuit-only":[105],"baselines,":[106],"verifier-filtered":[108,172],"continuation":[109,173],"adds":[111,174],"a":[112,161,175,194],"further":[113,176],"consistent":[114],"gain":[115,165],"atop":[116],"both.":[117],"A":[118],"complementary":[119],"32B":[120],"shows":[122],"supervised":[124],"achieve":[126],"near-perfect":[127],"syntax":[128],"validity":[131,184],"while":[132],"strongest":[134],"direct":[135],"reaches":[137],"6.14%":[138],"state":[139,186],"equivalence":[140,187],"per":[141],"target,":[142],"rising":[143],"10%":[146],"under":[147],"verifier-guided":[148],"selection":[149],"multiple":[151],"candidates.":[152],"These":[153],"results":[154],"show":[155],"algorithmic":[157],"trace":[158],"gives":[160],"large,":[162],"statistically":[163],"significant":[164],"both":[167],"repeated":[177],"gain.":[178],"The":[179],"persistent":[180],"gap":[181],"between":[182],"confirms":[188],"verification":[191],"necessary:":[193],"circuit":[195],"be":[197],"syntactically":[198],"physically":[200],"valid":[201],"yet":[202],"wrong":[205],"state.":[207]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-30T00:00:00"}