3 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…
quant-ph2024
The Better Solution Probability Metric: Optimizing QAOA to Outperform its Warm-Start Solution
Sean Feeney, Reuben Tate, Stephan Eidenbenz
This paper presents a numerical simulation investigation of the Warm-Start Quantum Approximate Optimization Algorithm (QAOA) as proposed by Tate et al. [1], focusing on its applica…