Login / Signup
Kexing Ying
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Change Detection
Formal Model
Convergence Rate
Knowledge Representation
Top Venues
CoRR
CPP
</>
Publications
</>
Kexing Ying
,
Rémy Degenne
A Formalization of Doob's Martingale Convergence Theorems in mathlib.
CPP
(2023)
Kexing Ying
,
Rémy Degenne
A Formalization of Doob's Martingale Convergence Theorems in mathlib.
CoRR
(2022)