Publications

You can also find my articles on my Google Scholar profile.

Conference Papers

LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support

Published in Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI EA '25), 2025

Recommended citation: Wang, X. J., Lee, C., & Mutlu, B. (2025). LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support. arXiv preprint arXiv:2503.13340.
Download Paper

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning

Published in Conference on Human Factors in Computing Systems (CHI) '25, 2025

Recommended citation: Lee, C., Porfirio, D., Wang, X. J., Zhao, K., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. arXiv preprint arXiv:2502.17898.
Download Paper

Xinyu Jessica Wang

Publications

Conference Papers

LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning