1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.CO2025
Enumerating several statistics of r-Colored Dyck paths with no dd-steps having the same colors
Yidong Sun, Jinyi Wang, Xinyu Wang
An -colored Dyck path is a Dyck path with all -steps having one of colors in . In this paper, we consider several statistics on the set $…
cs.PL2020★ 1 cited
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu +2
In this work, we consider the fundamental problem of deriving quantitative bounds on the probability that a given assertion is violated in a probabilistic program. We provide autom…
cs.PL2020
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
Jinyi Wang, Yican Sun, Hongfei Fu +3
Analyzing probabilistic programs and randomized algorithms are classical problems in computer science. The first basic problem in the analysis of stochastic processes is to conside…