Transforming Wearable Data into Personal Health Insights using Large Language Model Agents
Mike A. Merrill, Akshay Paruchuri, Naghmeh Rezaei, Geza Kovacs, Javier Perez, Yun Liu, Erik Schenck, Nova Hammerquist, Jake Sunshine, Shyam Tailor, Kumar Ayush, Hao-Wei Su, Qian He, Cory Y. McLean, Mark Malhotra, Shwetak Patel, Jiening Zhan, Tim Althoff, Daniel McDuff, Xin Liu
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
机构
*
University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Columbia University(哥伦比亚大学)
;
University of California Irvine(加州大学尔湾分校)
;
University of Toronto(多伦多大学)
;
Microsoft Research(微软研究院)
;
Microsoft Research Asia(微软亚洲研究院)
;
University of Chicago(芝加哥大学)
机构
*
School of Law, China University of Political Science and Law(中国政法大学法学院)
;
Zhejiang University of Finance and Economics Dongfang College(浙江财经大学东洋学院)
;
School of Information Management for Law, China University of Political Science and Law(中国政法大学信息管理法学院)
;
Department of Artificial Intelligence, Chung-Ang University(成均馆大学人工智能系)
;
Department of Data Science and Artificial Intelligence, The Hong Kong Polytechnic University(香港理工大学数据科学与人工智能系)