TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
TLA-Prover: 通过偏好优化低秩适配实现可验证的 TLA+ 规范合成
Eric Spencer, Arslan Bisharat, Brian Ortiz, Khushboo Bhadauria, Mujtaba Nazari, TaiNing Wang, George K. Thiruvathukal, Konstantin Laufer, Mohammed Abuhamad
机构
*
Department of Computer Science, Loyola University Chicago(洛约拉芝加哥大学计算机科学系)
专题命中
后训练与偏好优化
:SFT(abstract,abstract_cn);LLM(abstract_cn);large language model(abstract);language model(abstract)
Hey Chat, Can You Teach Me? Structuring Socratic Dialogue for Human Learning in the Wild
嘿,聊天机器人,你能教我吗?为人类学习构建结构化苏格拉底式对话
Sidney Tio, Arunesh Sinha, Pradeep Varakantham
机构
*
School of Computing and Information Systems, Singapore Management University(新加坡管理大学计算与信息系统学院)
;
Department of Management Science and Information Systems, Rutgers Business School(罗格斯大学商学院管理科学与信息系统系)
专题命中
后训练与偏好优化
:LLM(summary_cn,abstract);large language model(abstract);language model(abstract);分类 cs.CL、cs.AI
Federated Variational Preference Alignment with Gumbel-Softmax Prior for Personalized User Preferences
联邦变分偏好对齐与Gumbel-Softmax先验用于个性化用户偏好
Jabin Koo, Hoyoung Kim, Minwoo Jang, Jungseul Ok
机构
*
Graduate School of AI, POSTECH, Pohang, Republic of Korea(POSTECH人工智能研究生院)
;
Department of CSE, POSTECH, Pohang, Republic of Korea(POSTECH计算机科学与工程系)
;
National AI Research Lab, Seoul, Republic of Korea(首尔国家人工智能研究实验室)
专题命中
后训练与偏好优化
:RLHF(summary_cn,abstract);large language model(abstract);language model(abstract);分类 cs.AI、cs.LG
Beomsoo Kim, Changho Choi, Dohyun Kim, Dongki Lee, Ethan Ewer, Eunchong Kim, Gyeongman Kim, Haechan Kim, Hyeonghwan Kim, Inkyu Park, Jihun Yun, Jihwan Moon, Jiyun Kim, Joonghyun Bae, Junhyuck Kim, Minkyu Kim, Sehun Lee, Seungjun Chung, Sungwoo Cho, Dongmin Park, Dongwon Kim, Hara Kang, Jonghyun Lee, Keon Lee, Kangwook Lee, Jaewoong Cho
机构
*
TCS Research, \ of CSE, IIT Madras India
;
Department of Computing Science, \ of Alberta Canada
;
Qatar Computing Research Institute, \ Bin Khalifa University Qatar
;
Department of Data Science \& AI, Wadhwani School of Data Science \& AI, IIT Madras India
;
TCS Research, \ of CSE, IIT Madras
;
Department of Computing Science, \ of Alberta
;
Qatar Computing Research Institute, \ Bin Khalifa University
;
Department of Data Science \& AI, Wadhwani School of Data Science \& AI, IIT Madras
机构
*
Qwen Large Model Application Team, Alibaba(阿里巴巴大模型应用团队)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
Shenzhen Research Institute of Big Data(深圳大数据研究院)
专题命中
后训练与偏好优化
:RLHF(summary_cn,abstract);large language model(abstract);language model(abstract);分类 cs.AI、cs.LG
机构
*
Department of Statistics and Operations Research, UNC-Chapel Hill(统计与运筹学系,北卡罗来纳大学 Chapel Hill 分校)
;
Imperial College Business School, Imperial College London(帝国理工学院伦敦校区商学院)
专题命中
后训练与偏好优化
:LLM(abstract);large language model(abstract);language model(abstract);post-training(abstract)
Qingyu Yin, Chak Tou Leong, Minjun Zhu, Hanqi Yan, Qiang Zhang, Yulan He, Wenjie Li, Jun Wang, Yue Zhang, Linyi Yang
机构
*
Zhejiang University(浙江大学)
;
Hongkong Polytechnic University(香港理工大学)
;
University College London(伦敦大学学院)
;
Westlake University(西湖大学)
;
King's College London(国王学院)
;
Southern University of Science and Technology(南方科技大学)
专题命中
后训练与偏好优化
:LLM(abstract);large language model(abstract);language model(abstract);post-training(abstract)
机构
*
UCL Department of EEE(伦敦大学学院电子工程系)
;
UCL Centre for AI(伦敦大学学院人工智能中心)
;
Huawei Noah’s Ark Lab(华为诺亚实验室)
;
UNIST Graduate School of AI(延世大学人工智能研究生院)
;
University of Edinburgh(爱丁堡大学)
;
University of Basel(巴塞尔大学)
专题命中
后训练与偏好优化
:LLM(title);large language model(abstract);language model(abstract);post-training(abstract)
Verbalizable Representations Form a Global Workspace in Language Models
语言模型中的可言语化表征形成全局工作空间
Wes Gurnee, Nicholas Sofroniew, Adam Pearce, Mateusz Piotrowski, Isaac Kauvar, Runjin Chen, Anna Soligo, Paul Bogdan, Euan Ong, Rowan Wang, Ben Thompson, David Abrahams, Subhash Kantamneni, Emmanuel Ameisen, Joshua Batson, Jack Lindsey
机构
*
Anthropic(A÷)
专题命中
后训练与偏好优化
:language model(title,abstract);large language model(abstract);post-training(abstract);分类 cs.CL、cs.AI、cs.LG