( 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

Feng Bao

Mohammed Subhiy Husein al- Baouni

 

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

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