67 citations · 111 across the 12 of their papers we have counts for
3 papers · 2 filters
Quantum Algorithms for Reinforcement Learning with a Generative Model
Daochen Wang, Aarthi Sundaram, Robin Kothari +2
Reinforcement learning studies how an agent should interact with an environment to maximize its cumulative reward. A standard way to study this question abstractly is to ask how ma…
Secure Software Leasing Without Assumptions
Anne Broadbent, Stacey Jeffery, Sébastien Lord +2
Quantum cryptography is known for enabling functionalities that are unattainable using classical information alone. Recently, Secure Software Leasing (SSL) has emerged as one of th…
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…