机构
*
Key Laboratory of Image Processing and Intelligent Control, School of Artificial Intelligence and Automation, Huazhong University of Science and Technology(华中科技大学人工智能与自动化学院图像处理与智能控制重点实验室)
;
Tongyi Lab, Alibaba Group(阿里巴巴集团通义实验室)
机构
*
Dalian University of Technology(大连理工大学)
;
University of Electronic Science and Technology of China(电子科技大学)
;
Zhejiang University(浙江大学)
;
WeChat, Tencent Inc.(腾讯微信)
An Empirical Study of LLM-Generated Specifications for VeriFast
LLM 生成的 VeriFast 规范实证研究
Wen Fan, Minh Tran, Sanya Dod, Xin Hu, Marilyn Rego, Danning Xie, Jenna DiVincenzo, Lin Tan
机构
*
Purdue University(普渡大学)
;
University of Michigan(密歇根大学)
;
Meta
;
Ann Arbor, Michigan, USA(美国密歇根州安阿伯)
;
Menlo Park, California, USA(美国加州Menlo Park)
;
West Lafayette, Indiana, USA(美国印第安纳州西拉法叶)
专题命中
推理与问题求解
:LLM(title,title_cn);large language model(abstract);language model(abstract);prompting(abstract)
CommentsThe paper is withdrawn for further clarification of the alignment between the proposed knowledge transfer framework and its implementation, and for refinement of the transfer span definition and experimental evaluation design
机构
*
School of Computer Science and Engineering, Sun Yat-sen University(中山大学计算机科学与工程学院)
;
Department of Networked Intelligence, Peng Cheng Laboratory(鹏城实验室网络智能部)
;
School of Computer Science and Engineering, Harbin Institute of Technology, Shenzhen(哈尔滨工业大学(深圳)计算机科学与工程学院)
专题命中
推理与问题求解
:language model(title,abstract);LLM(abstract,abstract_cn);large language model(abstract);分类 cs.AI
Orthogonal Hierarchical Decomposition for Structure-Aware Table Understanding with Large Language Models
正交层次分解:面向结构感知的大语言模型表格理解
Bin Cao, Huixian Lu, Chenwen Ma, Ting Wang, Ruizhe Li, Jing Fan
机构
*
Zhejiang University of Technology, China(浙江工业大学,中国)
;
Zhejiang Key Laboratory of Visual Information Intelligent Processing, China(浙江视觉信息智能处理重点实验室,中国)
;
University of Aberdeen, UK(爱丁堡大学,英国)
专题命中
推理与问题求解
:large language model(title);language model(title);LLM(abstract);分类 cs.CL