Traq: Estimating the Quantum Cost of Classical Programs

Anurudh Peduri, Jam Kabeer Ali Khan, Gilles Barthe +1

Predicting practical speedups offered by future quantum computers has become a major focus of the quantum community. Typically, such predictions involve numerical simulations suppo…