output
20172026
most citedFactuality Challenges in the Era of Large Language Models

163 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2018Show all

2 papers · 1 filter

cs.LO2018★ 10 cited

Reasoning about Parallel Quantum Programs

Mingsheng Ying, Li Zhou, Yangjia Li

We initiate the study of parallel quantum programming by defining the operational and denotational semantics of parallel quantum programs. The technical contributions of this paper…

quant-ph2018★ 11 cited

Quantum Earth mover's distance, No-go Quantum Kantorovich-Rubinstein theorem, and Quantum Marginal Problem

Nengkun Yu, Li Zhou, Shenggang Ying +1

The earth mover's distance is a measure of the distance between two probabilistic measures. It plays a fundamental role in mathematics and computer science. The Kantorovich-Rubinst…