Generative transformations and patterns in LLM-native approaches for software verification and falsification
Víctor A. Braberman, Flavia Bonomo-Braberman, Yiannis Charalambous, Juan G. Colonna, Lucas C. Cordeiro, Rosiane de Freitas
机构
*
Department of Computer Science, The University of Manchester(曼彻斯特大学计算机科学系)
;
Instituto de Computação (ICOMP-UFAM), Universidade Federal do Amazonas(亚马逊联邦大学计算学院(ICOMP-UFAM))
专题命中
领域大模型
:LLM(title,abstract);large language model(abstract);language model(abstract);prompting(abstract)
机构
*
College of Computer Science and Technology, Zhejiang University(浙江大学计算机科学与技术学院)
;
ZJU-Hangzhou Global Scientific and Technological Innovation Center, Zhejiang University(浙江大学Hangzhou全球科技创新中心)
;
ZJU-UIUC Institute, Zhejiang University(浙江大学UIUC研究院)
专题命中
领域大模型
:large language model(title,abstract);language model(title,abstract);分类 cs.CL
机构
*
School of Computer Science and Technology/School of Artificial Intelligence, China University of Mining and Technology(计算机科学与技术学院/人工智能学院,中国矿业大学)
;
School of Computing Technologies, RMIT University(计算技术学院,拉筹伯大学)
;
Department of Computer Science and Technology, University of Cambridge(计算机科学与技术系,剑桥大学)
;
School of Computer Science and Technology, Hainan University(计算机科学与技术学院,海南大学)
专题命中
领域大模型
:LLM(title,abstract);large language model(abstract);language model(abstract);分类 cs.AI
机构
*
Institute of Health Informatics, UCL, UK(健康信息学研究所,伦敦大学学院,英国)
;
School of Electronic Engineering and Computer Science, QMUL, UK(电子工程与计算机科学学院,伦敦大学玛丽王后学院,英国)
;
School of Health and Wellbeing, University of Glasgow, UK(健康与福祉学院,格拉斯哥大学,英国)
;
The Second Norman Bethune Hospital of Jilin University, China(吉林大学第二诺曼·贝图医院,中国)
;
School of Health Sciences, University of East Anglia, UK(健康科学学院,东安格利亚大学,英国)
专题命中
领域大模型
:LLM(title);large language model(abstract);language model(abstract);分类 cs.AI
CommentsAccepted by Efficient Medical AI 2025 Workshop, MICCAI 2025
Constraint-Aware Route Recommendation from Natural Language via Hierarchical LLM Agents
Tao Zhe, Rui Liu, Fateme Memar, Xiao Luo, Wei Fan, Xinyue Ye, Zhongren Peng, Dongjie Wang
机构
*
University of Kansas(堪萨斯大学)
;
UW–Madison(威斯康星大学麦迪逊分校)
;
University of Auckland(奥克兰大学)
;
University of Alabama(阿拉巴马大学)
;
University of Florida(佛罗里达大学)
Explaining GPTs' Schema of Depression: A Machine Behavior Analysis
Adithya V Ganesan, Vasudha Varadarajan, Yash Kumar Lal, Veerle C. Eijsbroek, Katarina Kjell, Oscar N. E. Kjell, Tanuja Dhanasekaran, Elizabeth C. Stade, Johannes C. Eichstaedt, Ryan L. Boyd, H. Andrew Schwartz, Lucie Flek
机构
*
Stony Brook University(石溪大学)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Lund University(吕勒欧大学)
;
Stanford University(斯坦福大学)
;
Institute of Human-Centered AI at Stanford University(斯坦福大学人机交互人工智能研究所)
;
The University of Texas at Dallas(德克萨斯大学达拉斯分校)
;
Vanderbilt University(范德比大学)
;
University of Bonn(波恩大学)
;
The Lamarr Institute for Machine Learning & Artificial Intelligence(拉马尔人工智能与机器学习研究所)
专题命中
领域大模型
:large language model(abstract);language model(abstract);分类 cs.CL
机构
*
Stony Brook University(石溪大学)
;
University of California, San Diego(加州大学圣地亚哥分校)
;
University of British Columbia(不列颠哥伦比亚大学)
;
Zhejiang University(浙江大学)
;
University of California, Los Angeles(加州大学洛杉矶分校)
;
Case Western Reserve University(凯斯西储大学)
;
Fudan University(复旦大学)