Jialu Bao

Orcid: 0000-0002-2353-350X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

A Categorical Approach to DIBI Models.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2023
Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022
A separation logic for negative dependence.
Proc. ACM Program. Lang., 2022

Data-Driven Invariant Learning for Probabilistic Programs.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
Structure Amplification on Multi-layer Stochastic Block Models.
CoRR, 2021

Data-Driven Invariant Learning for Probabilistic Programs.
CoRR, 2021

A Bunched Logic for Conditional Independence.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
A Logic to Reason about Dependence and Independence.
CoRR, 2020

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

Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective.
Proceedings of the Theory and Applications of Models of Computation, 2020


  Loading...