APA (7th ed.) Citation

Feeney, S., Rao, P., Klappenecker, A., Tate, R., Alexeev, Y., Mensa, S., . . . Eidenbenz, S. (2026). SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis.

Chicago Style (17th ed.) Citation

Feeney, Sean, Pooja Rao, Andreas Klappenecker, Reuben Tate, Yuri Alexeev, Stefano Mensa, Elica Kyoseva, and Stephan Eidenbenz. SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis. 2026.

MLA (9th ed.) Citation

Feeney, Sean, et al. SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis. 2026.