语言大模型 / LLM

On Integrating Large Language Models and Scenario-Based Programming for Improving Software Reliability

Ayelet Berzack, Guy Katz

机构 * The Hebrew University Of Jerusalem（耶路撒冷希伯来大学） 纠错

专题命中 其他LLM ：large language model(title,abstract)；language model(title,abstract)；LLM(abstract)；分类 cs.AI

Path to Intelligence: Measuring Similarity between Human Brain and Large Language Model Beyond Language Task

Doai Ngo, Mingxuan Sun, Zhengji Zhang, Ashwin G Ramayya, Mark Schnitzer, Zhe Zhao

专题命中 其他LLM ：large language model(title,abstract)；language model(title,abstract)；LLM(abstract)

AgriSentinel: Privacy-Enhanced Embedded-LLM Crop Disease Alerting System

Chanti Raju Mylay, Bobin Deng, Zhipeng Cai, Honghui Xu

专题命中 其他LLM ：LLM(title,abstract)；large language model(abstract)；language model(abstract)

MIND: Towards Immersive Psychological Healing with Multi-agent Inner Dialogue

Yujia Chen, Changsong Li, Yiming Wang, Tianjie Ju, Qingqing Xiao, Nan Zhang, Zifan Kong, Peng Wang, Binyu Yan

机构 * Sichuan University（四川大学） ； Shanghai Jiao Tong University（上海交通大学） ； Mental Health Center, West China Hospital, Sichuan University（四川大学西昌医院心理健康中心） ； WestChina School of Nursing, Sichuan University（四川大学西昌护理学院） ； National University of Singapore（新加坡国立大学） 纠错

专题命中 其他LLM ：LLM(abstract)；large language model(abstract)；language model(abstract)；分类 cs.CL、cs.AI

Comments Accepted by EMNLP 2025 Findings

Simulating Human-like Daily Activities with Desire-driven Autonomy

Yiding Wang, Yuxuan Chen, Fangwei Zhong, Long Ma, Yizhou Wang

机构 * Institute for Artificial Intelligence, Peking University（北京大学人工智能研究院） ； The University of Hong Kong（香港大学） ； School of Artificial Intelligence, Beijing Normal University（北京师范大学人工智能学院） ； Academy for Advanced Interdisciplinary Studies, Peking University（北京大学先进跨学科研究学院） ； State Key Laboratory of General Artificial Intelligence, BIGAI（通用人工智能国家重点实验室，BIGAI） ； Center on Frontiers of Computing Studies, School of Computer Science, Nat’l Eng. Research Center of Visual Technology, Peking University（计算前沿研究中心，计算机科学学院，国家工程视觉技术研究中心，北京大学） 纠错

专题命中 其他LLM ：LLM(abstract)；large language model(abstract)；language model(abstract)；分类 cs.AI

What You Code Is What We Prove: Translating BLE App Logic into Formal Models with LLMs for Vulnerability Detection

Biwei Yan, Yue Zhang, Minghui Xu, Runyu Pan, Jinku Li, Xiuzhen Cheng

专题命中 其他LLM ：LLM(abstract)；large language model(abstract)；language model(abstract)

VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification

Jungjae Lee, Dongjae Lee, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin

机构 * School of Computing, KAIST（计算机学院，韩国科学技术院） ； Korea University（韩国大学） ； Sungkyunkwan University（成均馆大学） 纠错

专题命中 其他LLM ：foundation model(abstract)；分类 cs.CL、cs.AI