Sean Feeney

Identifiers

No identifiers captured yet.

Papers (1)

1. SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis quant-ph · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andreas Klappenecker 1 shared papers
• Elica Kyoseva 1 shared papers
• Pooja Rao 1 shared papers
• Reuben Tate 1 shared papers
• Stefano Mensa 1 shared papers
• Stephan Eidenbenz 1 shared papers
• Yuri Alexeev 1 shared papers