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(清华大学)
机构
*
Tsinghua University(清华大学)
;
Beijing National Research Center For Information Science And Technology(北京信息科学与技术国家研究中心)
;
Institute for Artificial Intelligence, Tsinghua University(清华大学人工智能国际研究院)
;
Rixin College, Tsinghua University(清华大学日新书院)
;
Department of Statistics and Data Science, Tsinghua University(清华大学统计与数据科学系)
;
Jiangsu Normal University(江苏师范大学)
机构
*
Zhejiang University(浙江大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
Shanghai Jiao Tong University(上海交通大学)
;
Tsinghua University(清华大学)
;
The University of Hong Kong(香港大学)
;
The Chinese University of Hong Kong(香港中文大学)
机构
*
School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
;
MAIS, Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所MAIS)
;
School of Vehicle and Mobility, Tsinghua University(清华大学车辆与 mobility学院)
;
Ant Group(蚂蚁集团)
WorldToken: Time-First Sequence Modeling for Robotic Imitation Learning
WorldToken:面向机器人模仿学习的时间优先序列建模
Chunkai Yang, Andong Yang, Chao Gao
机构
*
School of Remote Sensing and Information Engineering, Wuhan University(武汉大学遥感信息工程学院)
;
Tsinghua University(清华大学)
;
Institute for AI Industry Research, Tsinghua University(清华大学人工智能产业研究院)
Claim-Level Confidence Calibration for Reliable Decision Making with Large Language Models
面向大型语言模型可靠决策的声明级置信度校准
Toghrul Abbasli, Kentaroh Toyoda, Yuan Wang, Li Chen
机构
*
Tsinghua University(清华大学)
;
Vulcan Research(伏尔坎研究院)
;
AIFT
;
Keio Global Research Institute (KGRI)(庆应全球研究所(KGRI))
;
China Mobile Research Institute(中国移动研究院)
;
Zhongguancun Laboratory(中关村实验室)
CommentsIn Proceedings of The 5th Workshop on Uncertainty Reasoning and Quantification in Decision Making (held in conjunction with ACM SIGKDD 2026), Jeju, Korea
GenCoord: Skill-Path Commitments under Private Information
Peng He, Junning Zhu, Haohan Yuan, Jianpeng Liang
机构
*
Tsinghua University(清华大学)
;
Beijing Normal-Hong Kong Baptist University(北京师范大学-香港浸会大学联合国际学院)
;
University of North Carolina at Charlotte(北卡罗来纳大学夏洛特分校)
;
University of California San Diego(加利福尼亚大学圣迭戈分校)
Comments25 pages, 10 figures, and 23 tables, including supplementary material. Peng He and Junning Zhu contributed equally. Paper source and compact evidence: this https URL (https://github.com/JulianZJN/GenCoord)
机构
*
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
Tsinghua University(清华大学)
;
The Hong Kong University of Science and Technology(香港科技大学)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
Lightspeed Studios, Tencent(腾讯光速工作室)
Position: Robot Privacy as Embodied Boundary Work. Connecting Capabilities, Contexts, and Design Responses in Everyday Robotics
位置:机器人隐私作为具身边界工作——连接日常机器人中的能力、情境与设计响应
Liwen He, Shuning Zhang, Chengwen Zhang, Xin Yi, Chun Yu, Jihong Jeung, Xin Tong
机构
*
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Tsinghua University(清华大学)
;
Beijing Academy of Artificial Intelligence(北京智源人工智能研究院)
;
The Hong Kong University of Science and Technology(香港科技大学)
Comments8 pages, 5 figures. Introduces ForeTime-VLA, a causal future-token distillation method for conveyor-belt manipulation from a frozen world action model teacher
VGI-Bench: Probing Visual Intelligence in Video Generation Models
VGI-BENCH:探究视频生成模型的视觉智能
Xuan He, Cong Wei, Yuhao Cheng, Linrui Ma, Yuxuan Zhang, Zuojun Li, Yuhao Wen, Jize Jiang, Zeyi Liu, Yuren Hao, Songcheng Cai, Keming Wu, Penghui Du, Kai Zou, Rui Yang, Chenkai Sun, Ke Yang, Ping Nie, Kelsey R Allen, Chenglong Wang, Michel Galley, Jianfeng Gao, ChengXiang Zhai
机构
*
University of Illinois Urbana Champaign(伊利诺伊大学厄巴纳-香槟分校)
;
Tsinghua University(清华大学)
;
University of Waterloo(滑铁卢大学)
;
Massachusetts Institute of Technology(麻省理工学院)
;
University of British Columbia(不列颠哥伦比亚大学)
;
Vector Institute(矢量研究所)
;
Microsoft Research(微软研究院)
;
Etude AI
Massive Activations in Hybrid Linear Attention Large Language Models: Pre-Attention Spikes and Inter-Spike Plateaus
混合线性注意力大语言模型中的大规模激活:注意力前峰值与峰间平台期
Zunhai Su, Bohan Sun, Xialie Zhuang, Shuibai Zhang, He Xiao, Jing Xiong, Hengyuan Zhang, Zhongzhu Zhou, Tiantian Zhang, Ngai Wong, Chuan-Wei Kuo
机构
*
Startlux(星创公司)
;
Tsinghua University(清华大学)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
The University of Hong Kong(香港大学)
;
University of Sydney(悉尼大学)
;
Columbia University(哥伦比亚大学)
Lookahead-then-Verify: Reliable Constrained Decoding for Diffusion LLMs under Context-Free Grammars
前瞻性验证:用于扩散大语言模型在无上下文自由文法下的可靠约束解码
Yitong Zhang, Yongmin Li, Yuetong Liu, Jia Li, Xiaoran Jia, Zherui Li, Ge Li
机构
*
College of AI, Tsinghua University(清华大学人工智能学院)
;
School of Computer Science, Peking University(北京大学计算机学院)
;
School of Computer Science and Engineering, Beihang University(北航计算机科学与工程学院)
;
School of Computer Science and Technology, Beijing Institute of Technology(北京理工大学计算机科学与技术学院)
;
School of Computing, National University of Singapore(新加坡国立大学计算机学院)