{"id":"https://openalex.org/W7220983463","doi":"https://doi.org/10.48550/arxiv.2610.10258","title":"QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents","display_name":"QuSema: Detecting Silent Bugs in Quantum Libraries via Quantum-knowledge-enhanced Agents","publication_year":2026,"publication_date":"2026-10-07","ids":{"openalex":"https://openalex.org/W7220983463","doi":"https://doi.org/10.48550/arxiv.2610.10258"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.10258","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10258","pdf_url":"https://arxiv.org/pdf/2610.10258","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/2610.10258","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5157933954","display_name":"Yujin Song","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Song, Yujin","raw_affiliation_strings":["Nanyang Technological University , Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University , Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157938341","display_name":"Kaining Zhang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Kaining","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5141274979","display_name":"Qixin Zhang","orcid":"https://orcid.org/0000-0002-0535-3134","observed_orcids":["https://orcid.org/0000-0002-0535-3134"]},"institutions":[{"id":"https://openalex.org/I55712492","display_name":"Zhejiang University of Technology","ror":"https://ror.org/02djqfd08","country_code":"CN","type":"education","lineage":["https://openalex.org/I55712492"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhang, Qixin","raw_affiliation_strings":["Zhejiang University of Technology , Hangzhou , China YUXUAN DU * ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University of Technology , Hangzhou , China YUXUAN DU * ,","institution_ids":["https://openalex.org/I55712492"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100328264","display_name":"Shuai Wang","orcid":"https://orcid.org/0000-0002-0866-0308","observed_orcids":["https://orcid.org/0000-0002-0866-0308","https://orcid.org/0000-0002-2838-7249"]},"institutions":[{"id":"https://openalex.org/I55712492","display_name":"Zhejiang University of Technology","ror":"https://ror.org/02djqfd08","country_code":"CN","type":"education","lineage":["https://openalex.org/I55712492"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang, Shuai","raw_affiliation_strings":["Zhejiang University of Technology , Hangzhou , China YUXUAN DU * ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang University of Technology , Hangzhou , China YUXUAN DU * ,","institution_ids":["https://openalex.org/I55712492"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101728918","display_name":"Pingchuan Ma","orcid":"https://orcid.org/0000-0001-7680-2817","observed_orcids":["https://orcid.org/0000-0001-7680-2817"]},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Ma, Pingchuan","raw_affiliation_strings":["Nanyang Technological University , Singapore ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanyang Technological University , Singapore ,","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5157988076","display_name":"Yuxuan Du","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Du, Yuxuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.0010000000474974513,"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/T10260","display_name":"Software Engineering Research","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/bug-finding","display_name":"bug detection","score":0.5989999771118164},{"id":"https://openalex.org/keywords/qiskit","display_name":"Qiskit","score":0.7710000276565552},{"id":"https://openalex.org/keywords/pennylane","display_name":"PennyLane","score":1.0}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7836999893188477},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6413000226020813},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5885999798774719},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.5647000074386597},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5630999803543091},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.546500027179718},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5174000263214111},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.44200000166893005},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.429500013589859},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4293000102043152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4142000079154968},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.38089999556541443},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.36820000410079956},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.35749998688697815},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2791999876499176},{"id":"https://openalex.org/C94284585","wikidata":"https://www.wikidata.org/wiki/Q228184","display_name":"Random oracle","level":4,"score":0.26579999923706055},{"id":"https://openalex.org/C80291951","wikidata":"https://www.wikidata.org/wiki/Q1200691","display_name":"Design by contract","level":5,"score":0.26339998841285706},{"id":"https://openalex.org/C92717368","wikidata":"https://www.wikidata.org/wiki/Q1162538","display_name":"Plaintext","level":3,"score":0.25450000166893005},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.2531999945640564},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2524999976158142}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.10258","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10258","pdf_url":"https://arxiv.org/pdf/2610.10258","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.2610.10258","doi":"https://doi.org/10.48550/arxiv.2610.10258","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.10258","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:2610.10258","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10258","pdf_url":"https://arxiv.org/pdf/2610.10258","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/W7220983463.pdf","grobid_xml":"https://content.openalex.org/works/W7220983463.grobid-xml"},"referenced_works_count":11,"referenced_works":["https://openalex.org/W2901859177","https://openalex.org/W4396986598","https://openalex.org/W4403820734","https://openalex.org/W4410021745","https://openalex.org/W7125964876","https://openalex.org/W7127328010","https://openalex.org/W7140298163","https://openalex.org/W7162122494","https://openalex.org/W7163874420","https://openalex.org/W7171739377","https://openalex.org/W7215059494"],"related_works":["https://openalex.org/W7127328010","https://openalex.org/W4400582509","https://openalex.org/W7171739377","https://openalex.org/W4205868343","https://openalex.org/W7128611062","https://openalex.org/W7222852266","https://openalex.org/W6906709264","https://openalex.org/W4384938773","https://openalex.org/W4402457276","https://openalex.org/W4385288380"],"abstract_inverted_index":{"Quantum":[0],"libraries":[1],"are":[2,49],"now":[3],"critical":[4],"infrastructure":[5],"for":[6,81,173],"quantum":[7,86,92,134],"algorithm":[8],"development,":[9],"yet":[10],"their":[11],"correctness":[12],"remains":[13],"difficult":[14],"to":[15,101,166],"test.":[16],"Existing":[17],"testing":[18,79],"techniques":[19],"mainly":[20],"rely":[21],"on":[22],"failure-based":[23],"or":[24,36],"comparison-based":[25],"oracles,":[26],"exposing":[27],"bugs":[28,54,58,84,212],"only":[29],"when":[30,45],"executions":[31],"fail,":[32],"violate":[33],"runtime":[34],"checks,":[35],"disagree":[37],"with":[38,197],"another":[39],"implementation.":[40],"Their":[41],"applicability":[42],"is":[43],"limited":[44],"suitable":[46],"execution-based":[47],"oracles":[48],"unavailable,":[50],"leaving":[51],"some":[52],"silent":[53,83,183,219],"undetected.":[55],"Such":[56],"missed":[57],"can":[59,106],"produce":[60,107],"incorrect":[61],"results":[62],"that":[63,119],"propagate":[64],"into":[65,159],"experimental":[66],"conclusions,":[67],"simulation":[68],"studies,":[69],"and":[70,94,125,140,175,195],"algorithmic":[71],"designs.":[72],"Here":[73],"we":[74],"present":[75],"QuSema,":[76],"an":[77,116],"autonomous":[78],"agent":[80],"finding":[82],"in":[85],"libraries.":[87],"QuSema":[88,154,172,185,206],"uses":[89],"constraints":[90],"from":[91,110],"semantics":[93],"documentation":[95,124],"as":[96],"a":[97,178],"source-level":[98],"semantic":[99,138],"oracle":[100],"assess":[102],"whether":[103],"implementation":[104],"logic":[105],"invalid":[108],"outputs":[109],"valid":[111],"inputs.":[112],"It":[113],"operates":[114],"through":[115,147],"agentic":[117],"loop":[118],"repeatedly":[120],"inspects":[121],"library":[122,148],"API":[123],"source":[126],"code,":[127],"reasons":[128],"about":[129],"the":[130,198,215],"intended":[131],"behavior":[132],"of":[133,180],"operations,":[135],"identifies":[136],"potential":[137],"deviations,":[139],"validates":[141],"them":[142],"by":[143,151,214],"generating":[144],"executable":[145],"tests":[146],"APIs.":[149],"Guided":[150],"quantum-domain":[152],"reasoning,":[153],"turns":[155],"high-level":[156],"behavioral":[157],"mismatches":[158],"concrete,":[160],"user-triggerable":[161],"bug":[162,189],"reports,":[163],"enabling":[164],"it":[165],"uncover":[167],"non-crash":[168],"defects.":[169],"We":[170],"implement":[171],"Qiskit":[174],"PennyLane.":[176],"On":[177],"benchmark":[179],"20":[181],"historical":[182],"bugs,":[184],"achieves":[186],"higher":[187],"mean":[188],"relocation":[190],"counts":[191],"than":[192,203],"Claude":[193,204],"Code":[194],"Codex,":[196],"DeepSeek":[199],"configuration":[200],"costing":[201],"less":[202],"Code.":[205],"also":[207],"discovers":[208],"40":[209],"previously":[210],"unknown":[211],"confirmed":[213],"developers,":[216],"including":[217],"30":[218],"bugs.":[220]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-09T00:00:00"}