4 papers
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…
Quantum chemistry with provable convergence via randomized sample-based Krylov quantum diagonalization
Samuele Piccinelli, Alberto Baiardi, Stefano Barison +12
Quantum algorithms based on classical processing of individual samples have recently emerged as the most effective and robust methods to approximate ground-state wave functions of…
Encoding molecular structures in quantum machine learning
Choy Boy, Edoardo Altamura, Dilhan Manawadu +3
Quantum machine learning (QML) has great potential for the analysis of chemical datasets. However, conventional quantum data-encoding schemes, such as fingerprint encoding, are gen…
Approximate quantum circuit compilation for proton-transfer kinetics on quantum processors
Arseny Kovyrshin, Dilhan Manawadu, Edoardo Altamura +15
Proton transfer reactions are fundamental to many chemical and biological systems, where quantum effects such as tunneling, delocalization, and zero-point motion play key kinetic c…