Formal Analysis on Interaction Flow and Information Cocoon Based on Probabilistic Graph. - Jian Liu; Shaohua Zhang; Siying Yan; Xianchao Zhang 002; Wei Ren 002 (CSCloud, 2024)