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

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 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