Yuanhong Wang

activity

20222025

e^{+} e^{-} \to π^{+} π^{-} D^{+} D^{-}

cross sections at center-of-mass energies from 4.190 to 4.946 GeV

15 citations · 16 across the 3 of their papers we have counts for

collaborators

Showing cs.AIShow all

1 paper · 1 filter

cs.AI2023★ 1 cited

On Exact Sampling in the Two-Variable Fragment of First-Order Logic

Yuanhong Wang, Juhua Pu, Yuyi Wang +1

In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite…