2020.09-2024.06 北京航空航天大学 计算机应用技术 博士

2015.09-2018.03 北京航空航天大学 计算机技术 硕士

2011.09-2015.06 北京交通大学 信息与计算科学（理科实验班） 学士

[1] Wang, Y., Pu, J., Wang, Y. and Kuželka, O. (2024). Lifted Algorithms for Symmetric Weighted First-Order Model Sampling. Artificial Intelligence. (CCF A)

[2] Wang, Y., Pu, J., Wang, Y., and Kuželka, O. (2023). On Exact Sampling in the Two-Variable Fragment of First- Order Logic. LICS. (CCF A, 理论计算机顶会，自1986年首次举办至今署名国内第一单位的论文第14篇)

[3] Wang, Y., Van Bremen, T., Wang, Y., and Kuželka, O.(2022). Domain-lifted sampling for universal two-variable logic and extensions. AAAI. (CCF A)

[4] Wang, Y., Van Bremen, T., Pu, J., Wang, Y., and Kuželka, O. (2021). Fast Algorithms for Relational Marginal Polytopes. IJCAI. (CCF A)

[5] Wang, Y., Wang, Y., Liu, X., and Pu, J. (2018). On the ERM Principle with Networked Data. AAAI. (CCF A)