HCI.TOPHCI, made easy

Kevin Chenkai Zhao

school威斯康星大学麦迪逊分校bar_chart全球第 #18560 名

论文总数

1

HCI 排名

#18560

研究领域

2

活跃年数

1

近期发表

Kevin Chenkai Zhao 最新论文

CHI '25四作大语言模型（LLM）的人机协作 +2

VeriPlan：将正式验证和大语言模型集成到终端用户规划中

Lee 等人提出 VeriPlan 系统，通过形式化验证(模型检查)与 LLM 集成，结合规则翻译器和灵活性滑块进行用户研究(n=12)，提升规划可靠性与满意度

快捷操作

分享

分享当前页面

ios_share

https://hci.top/zh/authors/20600?source=all