Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Hi, I'm Xinyu Jessica Wang (王昕雨)!
PhD student at UW–Madison studying reliable AI agents for complex real-world environments.
Posts
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
publications
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
Conference on Human Factors in Computing Systems (CHI) '25
Lee, C. P., Porfirio, D., Wang, X. J., Zhao, K. C., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. In Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems.
LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support
Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (CHI EA '25)
Wang, X. J., Lee, C. P., & Mutlu, B. (2025). LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support. In Extended Abstracts of the 2025 CHI Conference on Human Factors in Computing Systems.
The Long-Horizon Task Mirage? Diagnosing Where and Why Agentic Systems Break
IAEval Workshop at NeurIPS 2026 — Oral Presentation
Wang, X. J., Bai, H., Sun, Y., Wang, H., Zhang, S., Hu, W., Schroder, M., Mutlu, B., Song, D., & Nowak, R. D. (2026). The Long-Horizon Task Mirage? Diagnosing Where and Why Agentic Systems Break. IAEval Workshop at NeurIPS 2026. Oral presentation.
U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning
arXiv preprint arXiv:2605.02765
Lee, C. P., Wang, X. J., Albarghouthi, A., Porfirio, D., & Mutlu, B. (2026). U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning. arXiv preprint arXiv:2605.02765.
LearnMate²: Design and Evaluation of an LLM-powered Personalized and Adaptive Support System for Online Learning
Proceedings of the 2026 Designing Interactive Systems Conference (DIS '26), pp. 1907–1924
Wang, X. J., Lee, C. P., & Mutlu, B. (2026). LearnMate²: Design and Evaluation of an LLM-powered Personalized and Adaptive Support System for Online Learning. In Proceedings of the 2026 Designing Interactive Systems Conference (pp. 1907–1924).
Agents’ Last Exam
NeurIPS 2026 — Evaluations & Datasets Track
Sun, Y., Han, X., Zhang, W., Pang, Y., Wang, T., Cao, Y., Huang, Y., Duroiu, C., et al. (2026). Agents' Last Exam. Advances in Neural Information Processing Systems (NeurIPS), Evaluations & Datasets Track.
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.