Data-Driven Invariant Learning for Probabilistic Programs

von Bao, Jialu
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective

von Bao, Jialu
Veröffentlicht in TAMC (16. : 2020 : Online) Theory and applications of models of computation (2020)