Jialu Bao

According to our database, Jialu Bao authored at least 11 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning.

Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan

CoRR, 2024

A Categorical Approach to DIBI Models.

Tao Gu, Jialu Bao, Justin Hsu, Alexandra Silva, Fabio Zanasi

CoRR, 2024

2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

A separation logic for negative dependence.

Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti

Proc. ACM Program. Lang., 2022

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Structure Amplification on Multi-layer Stochastic Block Models.

Xiaodong Xin, Kun He, Jialu Bao, Bart Selman, John E. Hopcroft

CoRR, 2021

Data-Driven Invariant Learning for Probabilistic Programs.

Jialu Bao, Drashti Pathak, Justin Hsu, Subhajit Roy

CoRR, 2021

A Bunched Logic for Conditional Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Logic to Reason about Dependence and Independence.

Jialu Bao, Simon Docherty, Justin Hsu, Alexandra Silva

CoRR, 2020

Hidden Community Detection on Two-layer Stochastic Models: a Theoretical Prospective.

Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft

CoRR, 2020

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

Jialu Bao, Kun He, Xiaodong Xin, Bart Selman, John E. Hopcroft

Proceedings of the Theory and Applications of Models of Computation, 2020