37 citations · 37 across the 2 of their papers we have counts for
2 papers
quant-ph2018
Mathematical methods for resource-based type theories
Aarthi Sundaram, Brad Lackey
With the wide range of quantum programming languages on offer now, efficient program verification and type checking for these languages presents a challenge -- especially when clas…
quant-ph2016★ 37 cited
Adiabatic optimization versus diffusion Monte Carlo
Michael Jarret, Stephen P. Jordan, Brad Lackey
Most experimental and theoretical studies of adiabatic optimization use stoquastic Hamiltonians, whose ground states are expressible using only real nonnegative amplitudes. This ra…