{"id":"https://openalex.org/W7160894550","doi":"https://doi.org/10.48550/arxiv.2605.10327","title":"SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis","display_name":"SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis","publication_year":2026,"publication_date":"2026-05-11","ids":{"openalex":"https://openalex.org/W7160894550","doi":"https://doi.org/10.48550/arxiv.2605.10327"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.10327","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10327","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.10327","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5135919655","display_name":"Sean Feeney","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feeney, Sean","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135926965","display_name":"Pooja Rao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rao, Pooja","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018681725","display_name":"Andreas Klappenecker","orcid":"https://orcid.org/0000-0002-9882-2015"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Klappenecker, Andreas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073944151","display_name":"Reuben Tate","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tate, Reuben","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007973964","display_name":"Yuri Alexeev","orcid":"https://orcid.org/0000-0001-5066-2254"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alexeev, Yuri","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010647965","display_name":"Stefano Mensa","orcid":"https://orcid.org/0000-0002-0938-144X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mensa, Stefano","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5135999989","display_name":"Elica Kyoseva","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kyoseva, Elica","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5135953959","display_name":"Stephan Eidenbenz","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eidenbenz, Stephan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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.8773000240325928,"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.8773000240325928,"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/T11804","display_name":"Quantum many-body systems","score":0.057500001043081284,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.011699999682605267,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7756999731063843},{"id":"https://openalex.org/keywords/quantum","display_name":"Quantum","score":0.593500018119812},{"id":"https://openalex.org/keywords/scalar","display_name":"Scalar (mathematics)","score":0.5397999882698059},{"id":"https://openalex.org/keywords/quantum-circuit","display_name":"Quantum circuit","score":0.5356000065803528},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4823000133037567},{"id":"https://openalex.org/keywords/network-analysis","display_name":"Network analysis","score":0.46380001306533813},{"id":"https://openalex.org/keywords/quantum-algorithm","display_name":"Quantum algorithm","score":0.4345000088214874},{"id":"https://openalex.org/keywords/quantum-computer","display_name":"Quantum computer","score":0.41280001401901245}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7756999731063843},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.593500018119812},{"id":"https://openalex.org/C57691317","wikidata":"https://www.wikidata.org/wiki/Q1289248","display_name":"Scalar (mathematics)","level":2,"score":0.5397999882698059},{"id":"https://openalex.org/C124148022","wikidata":"https://www.wikidata.org/wiki/Q2122210","display_name":"Quantum circuit","level":5,"score":0.5356000065803528},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4823000133037567},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4779999852180481},{"id":"https://openalex.org/C32946077","wikidata":"https://www.wikidata.org/wiki/Q618079","display_name":"Network analysis","level":2,"score":0.46380001306533813},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.4345000088214874},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.41280001401901245},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.3993000090122223},{"id":"https://openalex.org/C88230418","wikidata":"https://www.wikidata.org/wiki/Q131476","display_name":"Graph theory","level":2,"score":0.397599995136261},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39579999446868896},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37470000982284546},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3621000051498413},{"id":"https://openalex.org/C21200559","wikidata":"https://www.wikidata.org/wiki/Q7451068","display_name":"Sensitivity (control systems)","level":2,"score":0.3504999876022339},{"id":"https://openalex.org/C110521144","wikidata":"https://www.wikidata.org/wiki/Q193460","display_name":"Scalar field","level":2,"score":0.3456000089645386},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33980000019073486},{"id":"https://openalex.org/C64339825","wikidata":"https://www.wikidata.org/wiki/Q722659","display_name":"Graph property","level":5,"score":0.29429998993873596},{"id":"https://openalex.org/C146380142","wikidata":"https://www.wikidata.org/wiki/Q1137726","display_name":"Directed graph","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C2778926657","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum system","level":3,"score":0.2687999904155731},{"id":"https://openalex.org/C155281189","wikidata":"https://www.wikidata.org/wiki/Q3518150","display_name":"Tensor (intrinsic definition)","level":2,"score":0.26829999685287476},{"id":"https://openalex.org/C110812573","wikidata":"https://www.wikidata.org/wiki/Q175515","display_name":"Symbolic computation","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.25519999861717224}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.10327","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10327","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.10327","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.10327","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,122,132],"present":[4],"SCALAR":[5,44,96],"(Symbolic":[6],"Conjecture":[7],"and":[8,39,54,69,117,147,158],"LLM-Assisted":[9],"Reasoning),":[10],"a":[11],"neurosymbolic":[12],"framework":[13,72],"for":[14],"automated":[15],"conjecture":[16,37],"generation":[17],"in":[18],"quantum":[19,34,159],"circuit":[20,160],"analysis":[21,57],"built":[22],"on":[23,45,90],"top":[24],"of":[25,137,149],"the":[26,50,56,91,109,144,150],"CUDA-Q":[27,128],"open":[28],"source":[29],"framework.":[30],"The":[31,71],"system":[32,110],"integrates":[33],"simulation,":[35],"symbolic":[36],"generation,":[38],"LLM-based":[40],"interpretation.":[41],"We":[42,142],"evaluate":[43],"82":[46],"MaxCut":[47],"instances":[48,136],"from":[49],"MQLib":[51],"benchmark":[52],"dataset":[53],"extend":[55],"to":[58,80,135,139,155],"2,000":[59],"randomly":[60],"generated":[61,151],"graphs":[62],"across":[63,104],"four":[64],"topologies:":[65],"regular,":[66],"Erdos-Renyi,":[67],"Barabasi-Albert,":[68],"Watts-Strogatz.":[70],"generates":[73],"conjectured":[74],"bounds":[75],"relating":[76],"optimal":[77],"QAOA":[78],"parameters":[79],"graph":[81,114,156],"invariants,":[82],"including":[83,153],"known":[84],"relationships":[85],"such":[86],"as":[87],"periodicity":[88],"constraints":[89],"phase":[92],"separation":[93],"parameter":[94,101],"$\u03b3$.":[95],"also":[97],"recovers":[98],"previously":[99],"reported":[100],"transfer":[102],"phenomena":[103],"structurally":[105],"similar":[106],"instances.":[107],"Additionally,":[108],"identifies":[111],"correlations":[112],"between":[113],"structural":[115],"features":[116],"optimization":[118],"landscape":[119],"properties,":[120],"which":[121],"characterize":[123],"through":[124],"invariant-based":[125],"descriptors.":[126],"Using":[127],"tensor":[129],"network":[130],"simulator,":[131],"scale":[133],"experiments":[134],"up":[138],"77":[140],"qubits.":[141],"discuss":[143],"accuracy,":[145],"generality,":[146],"limitations":[148],"conjectures,":[152],"sensitivity":[154],"class":[157],"depth.":[161]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-13T00:00:00"}