@article{scalaraneurosymbolicframeworkforautomate,
  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},
  eprint = {2605.10327},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2605.10327},
}