Monotonic Reference-Free Refinement for Autoformalization
单调参考无关细化用于自动形式化
Lan Zhang, Marco Valentino, André Freitas
机构
*
Department of Computer Science, University of Manchester(曼彻斯特大学计算机科学系)
;
School of Computer Science, University of Sheffield(谢菲尔德大学计算机科学学院)
;
Idiap Research Institute(Idiap研究所)
;
National Biomarker Centre, CRUK Manchester Institute(国家生物标记中心,CRUK曼彻斯特研究所)
机构
*
School of Intelligent Science and Technology, Nanjing University, China(南京大学智能科学与技术学院)
;
National Key Laboratory for Novel Software Technology, School of Artificial Intelligence, Nanjing University, China(南京大学新型软件技术国家实验室,人工智能学院)
;
School of Artificial Intelligence, Nanjing University, China(南京大学人工智能学院)
;
MACS Lab, University of Washington(华盛顿大学MACS实验室)
机构
*
Shenzhen International Graduate School, Tsinghua University(清华大学深圳国际研究生院)
;
The Hong Kong University of Science and Technology(香港科技大学)
;
Harbin Institute of Technology(哈尔滨工业大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
The University of Texas at Austin(德克萨斯大学奥斯汀分校)
;
Shenzhen Technology University(深圳技术大学)
;
Xiamen University(厦门大学)
;
Simon Fraser University(西蒙弗雷泽大学)
;
Jiangxing Intelligence Inc.(江兴智能有限公司)
Structural Sensitivity in Compressed Transformers: Relative Error Propagation and Layer Removal
压缩变换器中的结构敏感性:相对误差传播与层移除
Abhinaba Basu, Kumkum Basu, Koushik Deb
机构
*
Indian Institute of Information Technology Allahabad, India(阿利哈巴德信息技术学院,印度)
;
National Institute of Electronics(电子研究所)
;
Indian Institute of Technology Patna, India(帕纳印度理工学院,印度)
;
Indian Institute of Information Technology Kalyani, India(卡里尼信息技术学院,印度)
专题命中
效率与部署
:large language model(abstract);language model(abstract);分类 cs.CL、cs.AI、cs.LG
Spectral Lens: Activation and Gradient Spectra as Diagnostics of LLM Optimization
谱镜:激活与梯度谱作为大语言模型优化的诊断工具
Andy Zeyi Liu, Elliot Paquette, John Sous
机构
*
Department of Applied Physics, Yale University, New Haven, CT 06511, United States(耶鲁大学应用物理系)
;
Department of Mathematics and Statistics, McGill University(麦吉尔大学数学与统计学系)
;
Department of Applied Physics, Yale University, New Haven, Connecticut 06511, USA(耶鲁大学应用物理系)
;
Energy Sciences Institute, Yale University, West Haven, Connecticut 06516, USA(耶鲁大学能源科学研究所)