FormuEvo: LLM-Guided Evolution for Discovering Solver-Efficient Mixed-Integer Programming Formulations
FormuEvo：大语言模型引导的进化算法用于发现求解器高效的混合整数规划模型
Haofeng Yuan, Jianing Peng, Jieyi Bi, Ni Zhang, Shiji Song, Zhiguang Cao
机构
*
College of Computing and Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院）
；
School of Computing and Information Systems, Singapore Management University（新加坡管理大学计算与信息系统学院）
；
Tsinghua University（清华大学）
Thinking Beyond Videos: Unifying Video Reasoning and Deep Research for Open-World Video Agents
超越视频：统一视频推理与深度研究的开放世界视频智能体
Wenqi Liu, Shijie Ma, Yunxiao Wang, Meng Liu, Qile Su, Han Liu, Bohan Hou, Xuanyu Zheng, Changyi Liu, Tianke Zhang, Haonan Fan, Kaiyu Jiang, Yingxin Li, Jiankang Chen, Xu Wang, Bin Wen, Tingting Gao, Han Li, Jianhua Yin, Yinwei Wei, Xuemeng Song
机构
*
Shandong University（山东大学）
；
Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
；
Beihang University（北京航空航天大学）
；
City University of Hong Kong（香港城市大学）
；
Nanyang Technological University（南洋理工大学）
；
Kuaishou Technology（快手科技）
；
Southern University of Science and Technology（南方科技大学）
机构
*
Digital Environment Research Institute (DERI), Queen Mary University of London（伦敦大学玛丽女王学院数字环境研究所（DERI））
；
Shanghai Institute of Artificial Intelligence for Education, East China Normal University（华东师范大学上海人工智能教育研究院）
；
National Institute of Education, Nanyang Technological University（南洋理工大学国家教育学院）
；
School of Computer Science and Engineering, Jiangsu University of Science and Technology（江苏科技大学计算机科学与工程学院）
机构
*
Nanyang Technological University（南洋理工大学）
；
Beihang University（北京航空航天大学）
；
National University of Singapore（新加坡国立大学）
；
Beijing Aerospace Control Instrument Research Institute（北京航天测控仪器研究所）
GCS-Bridging: Restoring Connectivity of Disconnected Convex Sets for Graph-of-Convex-Sets Motion Planning
GCS-Bridging：恢复凸集图运动规划中断开凸集的连通性
Xiaokai Zhou, Baoshi Cao, Yang Liu, Kui Sun, Boyu Ma, Zhengpu Wang, Zongwu Xie
机构
*
State Key Laboratory of Robotics and Systems, Harbin Institute of Technology（哈尔滨工业大学机器人技术与系统国家重点实验室）
；
School of Mechanical and Aerospace Engineering, Nanyang Technological University（南洋理工大学机械与航天工程学院）
UR$^{2}$-MLLM: Uncertainty-aware Revisit Reasoning in Multimodal Large Language Models for Radiology Report Generation
UR²-MLLM：面向放射科报告生成的多模态大语言模型中基于不确定性感知的重访推理
Yucheng Chen, Yang Yu, Jiazhou Zhou, Yufei Shi, Yongying Lan, Yichi Zhang, Liyi Li, Si Yong Yeo
机构
*
MedVisAI Lab（MedVisAI实验室）
；
Lee Kong Chian School of Medicine, Nanyang Technological University（南洋理工大学李光前医学院）
；
Centre of AI in Medicine, Singapore（新加坡医学人工智能中心）
；
AI Thrust, The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）AI方向）
；
Ruijin Hospital, Shanghai Jiao Tong University School of Medicine（上海交通大学医学院附属瑞金医院）
机构
*
Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）
；
Zhongguancun Academy（中关村学院）
；
School of Artificial Intelligence, Beijing University of Posts and Telecommunications（北京邮电大学人工智能学院）
；
School of Computer Science and Engineering, Nanyang Technological University（南洋理工大学计算机科学与工程学院）
；
Shandong Computer Science Center（山东省计算机科学中心）
；
Spatialtemporal AI（时空人工智能公司）
；
Tongji University（同济大学）
Resilient Concurrent Causal Discovery for Topological Event Sequences
面向拓扑事件序列的鲁棒并发因果发现
Jiyu Tian, Junhao Dong, Mingchu Li, Lingling Fang, Liming Chen, Andreas Holzinger, Zheng Yan, Yew Soon Ong
机构
*
School of Software Technology, Dalian University of Technology（大连理工大学软件学院）
；
School of Computer and Information Engineering, Jiangxi Normal University（江西师范大学计算机与信息工程学院）
；
School of Computer Science and Technology, Dalian University of Technology（大连理工大学计算机科学与技术学院）
；
School of Computer Science and Artificial Intelligence, Liaoning Normal University（辽宁师范大学计算机科学与人工智能学院）
；
University of Natural Resources and Life Sciences (BOKU)（自然资源与生命科学大学（BOKU））
；
Hangzhou Institute of Technology, Xidian University（西安电子科技大学杭州研究院）
；
College of Computing & Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院）
机构
*
Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所）
；
University of Chinese Academy of Sciences（中国科学院大学）
；
College of Computing and Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院）
；
Department of Computer Science, Hong Kong Baptist University（香港 Baptist 大学计算机科学系）
；
Communication University of China（中国传媒大学）
；
Imperial College London（伦敦帝国学院）
；
School of Cyber Science and Technology, Shenzhen Campus of Sun Yat-sen University（中山大学深圳校区网络科学与技术学院）
Detecting Heel Strike and toe off Events Using Kinematic Methods and LSTM Models
利用运动学方法和LSTM模型检测脚跟触地和脚尖离地事件
Longbin Zhang, Zhizhang Li, Xinyi Fu, Yi Xie, Zekun Liu, Xiaoyue Yan, Suiyuan Wang, Te Zhang, Hui Zhang, Kailun Yang, Tsung-Lin Wu, Prayook Jatesiktat, Ananda Sidarta, Wei Tech Ang
机构
*
School of Artificial Intelligence and Robotics, Hunan University（湖南大学人工智能与机器人学院）
；
School of Mechanical and Aerospace Engineering, Nanyang Technological University（南洋理工大学机械与航空航天工程学院）
；
Fourth Hospital of Changsha, Hunan Normal University（长沙第四医院，湖南师范大学）
；
Department of Stomatology, Hunan Provincial People’s Hospital, Hunan Normal University（湖南省级人民医院口腔科，湖南师范大学）
；
Rehabilitation Research Institute of Singapore, Lee Kong Chian School of Medicine, Nanyang Technological University（新加坡康复研究中心，李光前医学院，南洋理工大学）
DPRM: A Plug-in Doob h transform-induced Token-Ordering Module for Discrete Diffusion Models
DPRM: 一种用于扩散语言模型的即插即用Doob h变换诱导的令牌排序模块
Dake Bu, Wei Huang, Andi Han, Si Wu, Hau-San Wong, Qingfu Zhang, Taiji Suzuki, Atsushi Nitanda
机构
*
City University of Hong Kong（香港城市大学）
；
The Institute of Statistical Mathematics（统计数学研究所）
；
University of Sydney（悉尼大学）
；
Nanyang Technological University（南洋理工大学）
；
The University of Tokyo（东京大学）
Commentsthis http URL (http://skillnet.openkg.cn/;) add SkillNet-Gym, a benchmark for evaluating skill retrieval, utilization, composition, and SkillNet-Fabric for task-specific skill routing through lightweight Wikis
A Modular Multitask Reasoning Framework Integrating Spatio-temporal Models and LLMs
整合时空模型与大语言模型（LLMs）的模块化多任务推理框架
Kethmi Hirushini Hettige, Jiahao Ji, Cheng Long, Shili Xiang, Gao Cong, Jingyuan Wang
机构
*
College of Computing and Data Science, Nanyang Technological University, Singapore（南洋理工大学计算机与数据科学学院）
；
Institute for Infocomm Research, A*STAR, Singapore（资讯通信研究院）
；
School of Computer Science and Engineering, Beihang University, China（北京航空航天大学计算机科学与工程学院）
