Understanding older people's voice interactions with smart voice assistants: a new modified rule-based natural language processing model with human input. - Zhengxu Yan; Victoria Dube; Judith Heselton; Kate Johnson; Changmin Yan; Valerie Jones; Julie Blaskewicz Boron; Marcia Shade (Frontiers Digit. Health, 2024)

VERINA: Benchmarking Verifiable Code Generation. - Zhe Ye; Zhengxu Yan; Jingxuan He; Timothe Kasriel; Kaiyu Yang; Dawn Song (CoRR, 2025)