82 citations · 303 across the 17 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs (Extended Version)
Junyi Liu, Li Zhou, Gilles Barthe +1
We study expected runtimes for quantum programs. Inspired by recent work on probabilistic programs, we first define expected runtime as a generalisation of quantum weakest precondi…
cs.CL2019★ 58 cited
Multi-domain Dialogue State Tracking as Dynamic Knowledge Graph Enhanced Question Answering
Li Zhou, Kevin Small
Multi-domain dialogue state tracking (DST) is a critical component for conversational AI systems. The domain ontology (i.e., specification of domains, slots, and values) of a conve…