40 citations · 40 across the 5 of their papers we have counts for
3 papers · 1 filter
Performance Model for Hybrid Quantum-Classical Workflows
Pooja Rao, Dimitar Trenev, Jerome Gonthier +13
Hybrid quantum-classical workflows are expected to underpin practical quantum computing applications, yet the quantum and HPC communities lack a shared framework for reasoning abou…
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…
Benchmarking quantum trial wavefunctions for phaseless auxiliary-field quantum Monte Carlo
Rod Rofougaran, Neil Mehta, Katherine Klymko +5
The phaseless auxiliary-field quantum Monte Carlo (ph-AFQMC) method is a stochastic imaginary-time projection method for computing ground-state properties of strongly correlated qu…