VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. - Christine P. Lee; David Porfirio; Xinyu Jessica Wang; Kevin Chenkai Zhao; Bilge Mutlu (CHI, 2025)

LearnMate: Enhancing Online Education with LLM-Powered Personalized Learning Plans and Support. - Xinyu Jessica Wang; Christine P. Lee; Bilge Mutlu (CHI Extended Abstracts, 2025)