40 citations · 154 across the 14 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
quant-ph2026
DQAOA-GPT: AI-Accelerated Distributed Quantum Optimization for Combinatorial Problems
Seongmin Kim, Abhinav Rijal, Yuri Alexeev +5
While combinatorial optimization problems are central to many scientific and engineering applications, their solution remains challenging due to exponentially large search spaces.…
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…