University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）

PersonalizedRouter: Personalized LLM Routing via Graph-based User Preference Modeling

PersonalizedRouter: 通过基于图的用户偏好建模实现个性化LLM路由

Zhongjie Dai, Tao Feng, Jiaxuan You

机构 * University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

AI总结 PersonalizedRouter通过基于图的用户偏好建模，实现个性化LLM选择，显著优于现有方法，具有高效和强泛化能力。

Towards Formal Verification of LLM-Generated Code from Natural Language Prompts

向自然语言提示生成的LLM代码形式验证

Aaron Councilman, David Jiahao Fu, Aryan Gupta, Chengxiao Wang, David Grove, Yu-Xiong Wang, Vikram Adve

机构 * University of Illinois at Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； IBM Research（IBM研究院） 纠错

AI总结 Astrogator通过形式查询语言和知识库实现对LLM生成代码的正确性验证，验证准确率达83%。

Comments 28 pages, 10 figures