( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Data-Driven Invariant Learning for Probabilistic Programs.

, , , и . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jialu Hu

Jin Bao

Wenwen Bao

Mohammed Subhiy Husein al- Baouni

Feng Bao

 

Другие публикации лиц с тем же именем

A separation logic for negative dependence., , , и . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Hidden Community Detection on Two-Layer Stochastic Models: A Theoretical Perspective., , , , и . TAMC, том 12337 из Lecture Notes in Computer Science, стр. 365-376. Springer, (2020)Data-Driven Invariant Learning for Probabilistic Programs., , , и . CoRR, (2021)Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract)., , , , и . IJCAI, стр. 6415-6419. ijcai.org, (2023)Data-Driven Invariant Learning for Probabilistic Programs., , , , и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 33-54. Springer, (2022)A Bunched Logic for Conditional Independence., , , и . LICS, стр. 1-14. IEEE, (2021)