TY  - RPRT
TI  - SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
AU  - Sean Feeney
AU  - Pooja Rao
AU  - Andreas Klappenecker
AU  - Reuben Tate
AU  - Yuri Alexeev
AU  - Stefano Mensa
AU  - Elica Kyoseva
AU  - Stephan Eidenbenz
PY  - 2026
UR  - https://arxiv.org/abs/2605.10327
ID  - 2605.10327
ER  -