2 papers
quant-ph2026
SCALAR: A Neurosymbolic Framework for Automated Conjecture and Reasoning in Quantum Circuit Analysis
Sean Feeney, Pooja Rao, Andreas Klappenecker +5
In this paper, we present SCALAR (Symbolic Conjecture and LLM-Assisted Reasoning), a neurosymbolic framework for automated conjecture generation in quantum circuit analysis built o…
quant-ph2025
MPS-JuliQAOA: User-friendly, Scalable MPS-based Simulation for Quantum Optimization
Sean Feeney, Reuben Tate, John Golden +1
We present the MPS-JuliQAOA simulator, a user-friendly, open-source tool to simulate the Quantum Approximate Optimization Algorithm (QAOA) of any optimization problem that can be e…