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(香港科技大学)