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
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
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
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
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.