Showing cs.HCShow all
2 papers · 1 filter
cs.HC2025
VeriPlan: Integrating Formal Verification and LLMs into End-User Planning
Christine Lee, David Porfirio, Xinyu Jessica Wang +2
Automated planning is traditionally the domain of experts, utilized in fields like manufacturing and healthcare with the aid of expert planning tools. Recent advancements in LLMs h…
cs.HC2024
"This really lets us see the entire world:" Designing a conversational telepresence robot for homebound older adults
Yaxin Hu, Laura Stegner, Yasmine Kotturi +6
In this paper, we explore the design and use of conversational telepresence robots to help homebound older adults interact with the external world. An initial needfinding study (N=…