语言大模型 / LLM

Supporting Software Formal Verification with Large Language Models: An Experimental Study

Weiqi Wang, Marie Farrell, Lucas C. Cordeiro, Liping Zhao

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments Accepted for publication in 2025 IEEE 33rd International Requirements Engineering Conference (RE)

Thinking in Space: How Multimodal Large Language Models See, Remember, and Recall Spaces

Jihan Yang, Shusheng Yang, Anjali W. Gupta, Rilyn Han, Li Fei-Fei, Saining Xie

机构 * New York University（纽约大学） ； Yale University（耶鲁大学） ； Stanford University（斯坦福大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments Project page: https://vision-x-nyu.github.io/thinking-in-space.github.io/

Enhancing Spatial Reasoning in Multimodal Large Language Models through Reasoning-based Segmentation

Zhenhua Ning, Zhuotao Tian, Shaoshuai Shi, Guangming Lu, Daojing He, Wenjie Pei, Li Jiang

机构 * Harbin Institute of Technology, Shenzhen（哈尔滨工业大学（深圳）） ； Pengcheng Laboratory（鹏城实验室） ； The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）） ； Voyager Research, Didi Chuxing 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

ACTLLM: Action Consistency Tuned Large Language Model

Jing Bi, Lianggong Bruce Wen, Zhang Liu, Chenliang Xu

机构 * University of Rochester（罗切斯特大学） ； Corning Inc.（康宁公司） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Scene-R1: Video-Grounded Large Language Models for 3D Scene Reasoning without 3D Annotations

Zhihao Yuan, Shuyi Jiang, Chun-Mei Feng, Yaolun Zhang, Shuguang Cui, Zhen Li, Na Zhao

机构 * FNii-Shenzhen, CUHKSZ（FNii深圳，香港科技大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

A Framework Leveraging Large Language Models for Autonomous UAV Control in Flying Networks

Diana Nunes, Ricardo Amorim, Pedro Ribeiro, André Coelho, Rui Campos

机构 * INESC TEC and Faculdade de Engenharia, Universidade do Porto（INESC TEC和工程学院，葡萄牙波尔图大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments 6 pages, 3 figures, 6 tables

Computational Thinking Reasoning in Large Language Models

Kechi Zhang, Ge Li, Jia Li, Huangzhao Zhang, Jingjing Xu, Hao Zhu, Lecheng Wang, Jia Li, Yihong Dong, Jing Mai, Bin Gu, Zhi Jin

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

StimuVAR: Spatiotemporal Stimuli-aware Video Affective Reasoning with Multimodal Large Language Models

Yuxiang Guo, Faizan Siddiqui, Yang Zhao, Rama Chellappa, Shao-Yuan Lo

机构 * Johns Hopkins University（约翰霍普金斯大学） ； Honda Research Institute USA（本田研究院美国） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments Paper is accepted by IJCV

Visual Embodied Brain: Let Multimodal Large Language Models See, Think, and Control in Spaces

Gen Luo, Ganlin Yang, Ziyang Gong, Guanzhou Chen, Haonan Duan, Erfei Cui, Ronglei Tong, Zhi Hou, Tianyi Zhang, Zhe Chen, Shenglong Ye, Lewei Lu, Jingbo Wang, Wenhai Wang, Jifeng Dai, Yu Qiao, Rongrong Ji, Xizhou Zhu

机构 * Shanghai AI Laboratory（上海人工智能实验室） ； Tsinghua University（清华大学） ； University of Science and Technology of China（中国科学技术大学） ； Shanghai Jiao Tong University（上海交通大学） ； Xiamen University（厦门大学） ； SenseTime Research（商汤科技研究院） ； Zhejiang University（浙江大学） ； Nanjing University（南京大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

VisCRA: A Visual Chain Reasoning Attack for Jailbreaking Multimodal Large Language Models

Bingrui Sima, Linhua Cong, Wenxuan Wang, Kun He

机构 * Huazhong University of Science and Technology（华中科技大学） ； Hong Kong University of Science and Technology（香港科技大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

PACT: A Contract-Theoretic Framework for Pricing Agentic AI Services Powered by Large Language Models

Ya-Ting Yang, Quanyan Zhu

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

FEALLM: Advancing Facial Emotion Analysis in Multimodal Large Language Models with Emotional Synergy and Reasoning

Zhuozhao Hu, Kaishen Yuan, Xin Liu, Zitong Yu, Yuan Zong, Jingang Shi, Huanjing Yue, Jingyu Yang

机构 * Tianjin University（天津大学） ； The Hong Kong University of Science and Technology (Guangzhou)（香港科学与技术大学（广州）） ； Lappeenranta-Lahti University of Technology LUT（拉佩兰塔-拉赫蒂技术大学） ； Great Bay University（大湾大学） ； Southeast University（东南大学） ； Xi’an Jiaotong University（西安交通大学） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments 10 pages, 7 figures

Practical Reasoning Interruption Attacks on Reasoning Large Language Models

Yu Cui, Cong Zuo

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

DSDrive: Distilling Large Language Model for Lightweight End-to-End Autonomous Driving with Unified Reasoning and Planning

Wenru Liu, Pei Liu, Jun Ma

机构 * The Hong Kong University of Science and Technology（香港科技大学） 纠错

专题命中 推理与问题求解 ：language model(title,abstract)；large language model(title)；LLM(abstract)

FaceInsight: A Multimodal Large Language Model for Face Perception

Jingzhi Li, Changjiang Luo, Ruoyu Chen, Hua Zhang, Wenqi Ren, Jianhou Gan, Xiaochun Cao

机构 * Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所） ； School of Cyber Security, University of Chinese Academy of Sciences（中国科学院大学网络安全学院） ； School of Cyber Science and Technology, Shenzhen Campus of Sun Yat-sen University（中山大学深圳校区计算机科学与技术学院） ； Key Laboratory of Education Informatization for Nationalities (Yunnan Normal University), Ministry of Education（民族教育信息化重点实验室（云南师范大学）） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

AgentsCoMerge: Large Language Model Empowered Collaborative Decision Making for Ramp Merging

Senkang Hu, Zhengru Fang, Zihan Fang, Yiqin Deng, Xianhao Chen, Yuguang Fang, Sam Kwong

机构 * Hong Kong JC STEM Lab of Smart City（香港JC STEM实验室） ； Department of Computer Science, City University of Hong Kong（城市大学计算机科学系） ； Department of Electrical and Electronic Engineering, The University of Hong Kong（香港大学电子与电气工程系） ； Department of Computing and Decision Sciences, Lingnan University（岭大计算机与决策科学系） 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments Accepted by IEEE Transactions on Mobile Computing (TMC)

ST-Think: How Multimodal Large Language Models Reason About 4D Worlds from Ego-Centric Videos

Peiran Wu, Yunze Liu, Miao Liu, Junxiao Shen

机构 * University of Bristol（布里斯托大学） ； X-Intelligence Labs（X-智能实验室） ； Meta 纠错

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Introducing Large Language Models as the Next Challenging Internet Traffic Source

Nataliia Koneva, Alejandro Leonardo García Navarro, Alfonso Sánchez-Macián, José Alberto Hernández, Moshe Zukerman, Óscar González de Dios

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

GLUS: Global-Local Reasoning Unified into A Single Large Language Model for Video Segmentation

Lang Lin, Xueyang Yu, Ziqi Pang, Yu-Xiong Wang

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments CVPR 2025

A Multi-Agent Framework Integrating Large Language Models and Generative AI for Accelerated Metamaterial Design

Jie Tian, Martin Taylor Sobczak, Dhanush Patil, Jixin Hou, Lin Pang, Arunachalam Ramanathan, Libin Yang, Xianyan Chen, Yuval Golan, Xiaoming Zhai, Hongyue Sun, Kenan Song, Xianqiao Wang

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

VidHalluc: Evaluating Temporal Hallucinations in Multimodal Large Language Models for Video Understanding

Chaoyu Li, Eun Woo Im, Pooyan Fazli

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments CVPR 2025

A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought

Andrei Cristian Ionescu, Sergey Titov, Maliheh Izadi

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments Accepted in The ACM International Conference on the Foundations of Software Engineering (FSE 2025) - Demo Track

Grounded Chain-of-Thought for Multimodal Large Language Models

Qiong Wu, Xiangcong Yang, Yiyi Zhou, Chenxin Fang, Baiyang Song, Xiaoshuai Sun, Rongrong Ji

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

SpecEval: Evaluating Code Comprehension in Large Language Models via Program Specifications

Lezhi Ma, Shangqing Liu, Lei Bu, Shangru Li, Yida Wang, Yang Liu

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

EndoChat: Grounded Multimodal Large Language Model for Endoscopic Surgery

Guankun Wang, Long Bai, Junyi Wang, Kun Yuan, Zhen Li, Tianxu Jiang, Xiting He, Jinlin Wu, Zhen Chen, Zhen Lei, Hongbin Liu, Jiazheng Wang, Fan Zhang, Nicolas Padoy, Nassir Navab, Hongliang Ren

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

ViLLa: Video Reasoning Segmentation with Large Language Model

Rongkun Zheng, Lu Qi, Xi Chen, Yi Wang, Kun Wang, Yu Qiao, Hengshuang Zhao

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments 15 pages,7 figures

Fine-Tuning Large Language Models for Educational Support: Leveraging Gagne's Nine Events of Instruction for Lesson Planning

Linzhao Jia, Changyong Qi, Yuang Wei, Han Sun, Xiaozhe Yang

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

AI and Cultural Context: An Empirical Investigation of Large Language Models' Performance on Chinese Social Work Professional Standards

Zia Qi, Brian E. Perron, Miao Wang, Cao Fang, Sitao Chen, Bryan G. Victor

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

VisualCoder: Guiding Large Language Models in Code Execution with Fine-grained Multimodal Chain-of-Thought Reasoning

Cuong Chi Le, Hoang-Chau Truong-Vinh, Huy Nhat Phan, Dung Duy Le, Tien N. Nguyen, Nghi D. Q. Bui

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments NAACL 2025

VRank: Enhancing Verilog Code Generation from Large Language Models via Self-Consistency

Zhuorui Zhao, Ruidi Qiu, Ing-Chao Lin, Grace Li Zhang, Bing Li, Ulf Schlichtmann

专题命中 推理与问题求解 ：large language model(title,abstract)；language model(title,abstract)

Comments accepted by ISQED2025