Kexing Ying

icon indicating a website link kex-y.github.io icon indicating an email [email protected]

icon location Lausanne, Switzerland icon location PhD student in stochastic analysis at EPFL

Results 4 issues of Kexing Ying

feat(probability/martingale/convergence): L¹ martingale convergence theorem and Lévy's upwards theorem

--- This PR proves the L¹ martingale convergence theorem and as a corollary, also the Lévy upwards theorem. [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

awaiting-review

feat(topology/algebra/infinite_sum): generalize `tsum_le_of_sum_range_le`

2 comment

--- Used by #16882 [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

easy
awaiting-review
t-topology

feat(probability/borel_cantelli): the second Borel-Cantelli lemma

--- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP
awaiting-CI
t-measure-probability

feat(probability/tail_prob): the tail probability formula

1 comment

This PR adds the tail probability formula which is needed for Doob's Lp inequality. --- [![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)

WIP
t-measure-probability
too-late