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
Conference on Human Factors in Computing Systems (CHI) '25
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.
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., & Mutlu, B. (2025). LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support. arXiv preprint arXiv:2503.13340.
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.