{"id":"arxiv/2605.10327","url":"https://arxiv.org/abs/2605.10327","tags":["quant-ph","cs.AI","cs.SC"],"score":0,"title":"SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis","domain":"quant-ph","source":"arxiv","authors":["Sean Feeney","Pooja Rao","Andreas Klappenecker","Reuben Tate","Yuri Alexeev","Stefano Mensa","Elica Kyoseva","Stephan Eidenbenz"],"reviews":0,"subject":"quant-ph","summary":"In this paper, we present SCALAR (Symbolic Conjecture and LLM-Assisted Reasoning), a neurosymbolic framework for automated conjecture generation in quantum circuit analysis built on top of the CUDA-Q open source framework. The system integrates quantum simulation, symbolic conjecture generation, and LLM-based interpretation. We evaluate SCALAR on 82 MaxCut instances from the MQLib benchmark dataset and extend the analysis to 2,000 randomly generated graphs across four topologies: regular, Erdos-Renyi, Barabasi-Albert, and Watts-Strogatz. The framework generates conjectured bounds relating…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}