1 citations · 1 across the 2 of their papers we have counts for
3 papers
quant-ph2026
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal +2
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a…
quant-ph2025★ 1 cited
Unified Architecture for Quantum Lookup Tables
Shuchen Zhu, Aarthi Sundaram, Guang Hao Low
Quantum access to arbitrary classical data encoded in unitary black-box oracles underlies interesting data-intensive quantum algorithms, such as machine learning or electronic stru…
quant-ph2024
End-to-End Quantum Simulation of a Chemical System
Wim van Dam, Hongbin Liu, Guang Hao Low +6
We demonstrate the first end-to-end integration of high-performance computing (HPC), reliable quantum computing, and AI in a case study on catalytic reactions producing chiral mole…