@misc{indiciae9407f76b796a,
  title = {SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis},
  author = {Sean Feeney and Pooja Rao and Andreas Klappenecker and Reuben Tate and Yuri Alexeev and Stefano Mensa and Elica Kyoseva and Stephan Eidenbenz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.10327},
  note = {Source identifier: 2605.10327}
}