Continuous Optimization for Satisfiability Modulo Theories on Linear Real Arithmetic
基于线性实数算术的可满足性模理论的连续优化
Yunuo Cen, Daniel Ebler, Xuanyao Fong
机构
*
Department of Electrical and Computer Engineering, National University of Singapore, Singapore(电子与计算机工程系,新加坡国立大学)
;
School of Computing and Data Science, The University of Hong Kong, Hong Kong, China(计算与数据科学学院,香港大学)
机构
*
Foundation Model Research Center, Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所基础模型研究中心)
;
School of Advanced Interdisciplinary Sciences, University of Chinese Academy of Sciences(中国科学院大学先进交叉学科学院)
;
School of Artificial Intelligence, University of Chinese Academy of Sciences(中国科学院大学人工智能学院)
;
National University of Singapore(新加坡国立大学)
;
Wuhan AI Research(武汉人工智能研究院)
;
Minzu University of China(民族大学)
机构
*
Nanyang Technological University(南洋理工大学)
;
BraneMatrix AI
;
Nanjing University of Science and Technology(南京理工大学)
;
Northeast University(东北大学)
;
Renmin University of China(中国人民大学)
;
Alibaba Group(阿里巴巴集团)
;
Beihang University(北航)
;
National University of Singapore(新加坡国立大学)
;
Zhejiang Lab(浙江实验室)
CommentsICLR 2026 Poster The source code relevant to this article has now been open-sourced; for details, please visit: https://github.com/xunhuang123/CC-BOS
U4D: Uncertainty-Aware 4D World Modeling from LiDAR Sequences
U4D:从LiDAR序列中构建不确定性感知的4D世界模型
Xiang Xu, Alan Liang, Youquan Liu, Linfeng Li, Lingdong Kong, Ziwei Liu, Qingshan Liu
机构
*
Nanjing University of Aeronautics and Astronautics(南京航空航天大学)
;
National University of Singapore(新加坡国立大学)
;
Fudan University(复旦大学)
;
S-Lab, Nanyang Technological University(南洋理工大学S实验室)
;
Nanjing University of Posts and Telecommunications(南京邮电大学)
;
SKL-TI
机构
*
FNii-Shenzhen(FNii-深圳)
;
SSE, CUHK-Shenzhen(SSE,CUHK-深圳)
;
The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))
;
The University of Hong Kong(香港大学)
;
National University of Singapore(新加坡国立大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Ising AI
DualEdit: Mitigating Safety Fallback in LLM Backdoor Editing via Affirmation-Refusal Regulation
DualEdit: 通过肯定-拒绝调节缓解LLM后门编辑中的安全回退
Houcheng Jiang, Zetong Zhao, Junfeng Fang, Haokai Ma, Ruipeng Wang, Xiang Wang, Xiangnan He, Yang Deng
机构
*
University of Science and Technology of China(中国科学技术大学)
;
National University of Singapore(新加坡国立大学)
;
Singapore Management University(新加坡管理大学)
;
MoE Key Lab of BIPC, University of Science and Technology of China(中国科学技术大学信息与通信技术国家重点实验室)
Rethinking Token Reduction for Large Vision-Language Models
重新思考大型视觉-语言模型中的标记缩减
Yi Wang, Haofei Zhang, Qihan Huang, Anda Cao, Gongfan Fang, Wei Wang, Xuan Jin, Jie Song, Mingli Song, Xinchao Wang
机构
*
College of Computer Science and Technology, Zhejiang University(浙江大学计算机科学与技术学院)
;
State Key Laboratory of Blockchain and Data Security, Zhejiang University(浙江大学区块链与数据安全国家重点实验室)
;
Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security(杭州高新技术区(滨江)区块链与数据安全研究院)
;
School of Software Technology, Zhejiang University(浙江大学软件学院)
;
National University of Singapore(新加坡国立大学)
;
Alibaba Group(阿里巴巴集团)
机构
*
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
;
Nanyang Technological University(南洋理工大学)
;
National University of Singapore(新加坡国立大学)
;
Institute for Infocomm Research (I 2 R), A*STAR(信息通信研究院(I2R),A*STAR)
Beyond Correlation: Refutation-Validated Aspect-Based Sentiment Analysis for Explainable Energy Market Returns
超越相关性:基于反驳验证的可解释能源市场收益的方面情感分析
Wihan van der Heever, Keane Ong, Ranjan Satapathy, Erik Cambria
机构
*
College of Computing and Data Science, Nanyang Technological University(南洋理工大学计算与数据科学学院)
;
Institute of High Performance Computing, Agency for Science, Technology and Research(科技研究局高性能计算研究所)
;
College of Design and Engineering, National University of Singapore(新加坡国立大学设计与工程学院)
Scalable learning of macroscopic stochastic dynamics
可扩展的宏观随机动力学学习
Mengyi Chen, Pengru Huang, Kostya S. Novoselov, Qianxiao Li
机构
*
Department of Mathematics, National University of Singapore, Singapore, Singapore(新加坡国立大学数学系)
;
Institute for Functional Intelligent Materials, National University of Singapore, Singapore, Singapore(新加坡国立大学功能智能材料研究所)
;
Engineering, National University of Singapore, Singapore, Singapore(新加坡国立大学工程系)
Zhengxue Wang, Zhiqiang Yan, Ming-Hsuan Yang, Jinshan Pan, Guangwei Gao, Ying Tai, Jian Yang
机构
*
PCA Lab, Nanjing University of Science and Technology, China(南京理工大学科学与工程学院实验室)
;
National University of Singapore(新加坡国立大学)
;
University of California, USA, and Yonsei University, South Korea(美国加州大学和韩国延世大学)
;
PCA Lab, Nanjing University, China(南京大学实验室)
Anatomical Prior-Driven Framework for Autonomous Robotic Cardiac Ultrasound Standard View Acquisition
基于解剖先验的自主机器人心脏超声标准视图采集框架
Zhiyan Cao, Zhengxi Wu, Yiwei Wang, Pei-Hsuan Lin, Li Zhang, Zhen Xie, Huan Zhao, Han Ding
机构
*
State Key Laboratory of Intelligent Manufacturing Equipment and Technology, Huazhong University of Science and Technology(华中科技大学智能制造装备与技术国家重点实验室)
;
School of Biomedical Engineering, Harbin Institute of Technology (Shenzhen)(哈尔滨工业大学(深圳)生物医学工程学院)
;
Information Intelligence Lab, Department of Electrical Engineering, National Chung Hsing University(中原大学电子工程系信息智能实验室)
;
Institute of Medical Equipment Science and Engineering, Huazhong University of Science and Technology(华中科技大学医学装备科学与工程研究院)
;
Department of Ultrasound Medicine, Union Hospital, Tongji Medical College, Huazhong University of Science and Technology(华中科技大学同济医学院附属同济医院超声医学科)
;
Institute of Systems Science (ISS), National University of Singapore (NUS)(新加坡国立大学系统科学研究所)
Beyond the Academic Monoculture: A Unified Framework and Industrial Perspective for Attributed Graph Clustering
超越学术单一文化:面向属性图聚类的统一框架与工业视角
Yunhui Liu, Yue Liu, Yongchao Liu, Tao Zheng, Stan Z. Li, Xinwang Liu, Tieke He
机构
*
State Key Laboratory for Novel Software Technology, Nanjing University(新型软件技术国家重点实验室,南京大学)
;
School of Computing, National University of Singapore(新加坡国立大学计算机学院)
;
Ant Group(蚂蚁集团)
;
Westlake University(西湖大学)
;
College of Computer Science and Technology, National University of Defense Technology(国防科技大学计算机科学与技术学院)
机构
*
Independent Researcher(独立研究者)
;
National Institute for Data Science in Health and Medicine, Xiamen University, Xiamen, China(健康医学数据科学国家研究院,厦门大学,厦门,中国)
;
Yue’erwan Internet Hospital Co., Ltd.(悦尔湾互联网医院有限公司)
;
School of Biomedical Engineering, Tsinghua University, Beijing, China(生物医学工程学院,清华大学,北京,中国)
;
National University of Singapore, Singapore(新加坡国立大学)
;
Yttrium-90 Precision Interventional Radiotherapy Center of Liver Cancer, Beijing Tsinghua Changgung Hospital, School of Clinical Medicine, Tsinghua University, Beijing, China(肝癌钇-90精准介入放射治疗中心,北京清华大学昌平医院,临床医学学院,清华大学,北京,中国)
;
Hepatobiliary and Pancreatic Centre, Beijing Tsinghua Changgung Hospital, School of Clinical Medicine, Tsinghua University, Beijing, China(肝胆胰中心,北京清华大学昌平医院,临床医学学院,清华大学,北京,中国)
机构
*
University of Washington(华盛顿大学)
;
National University of Singapore(新加坡国立大学)
;
Apple(苹果公司)
;
Microsoft Research(微软研究院)
;
Carnegie Mellon University(卡内基梅隆大学)
SynPO: Synergizing Descriptiveness and Preference Optimization for Video Detailed Captioning
SynPO:融合描述性和偏好优化的视频详细描述生成
Jisheng Dang, Yizhou Zhang, Hao Ye, Teng Wang, Siming Chen, Huicheng Zheng, Yulan Guo, Jianhuang Lai, Bin Hu
机构
*
Sun Yat-Sen University(中山大学)
;
Lanzhou University(兰州大学)
;
The University of Hong Kong(香港大学)
;
Beijing Institute of Technology(北京理工大学)
;
National University of Singapore(新加坡国立大学)
Learn from Foundation Model: Fruit Detection Model without Manual Annotation
从基础模型学习:无需人工标注的水果检测模型
Yanan Wang, Zhenghao Fei, Ruichen Li, Yibin Ying
机构
*
College of Biosystems Engineering and Food Science, Zhejiang University(浙江大学生物系统工程与食品科学学院)
;
ZJU-Hangzhou Global Scientific and Technological Innovation Center, Zhejiang University(浙江大学杭州全球科技创新中心)
;
Faculty of Science, National University of Singapore(新加坡国立大学科学学院)
Asymptotically and Minimax Optimal Regret Bounds for Multi-Armed Bandits with Abstention
渐近最优和最小最大最优的多臂老虎机问题中的弃权后悔界
Junwen Yang, Tianyuan Jin, Vincent Y. F. Tan
机构
*
Institute of Operations Research and Analytics(运营研究与分析研究所)
;
National University of Singapore(新加坡国立大学)
;
Department of Electrical and Computer Engineering(电子与计算机工程系)
;
Department of Mathematics(数学系)
Toward a Multi-View Brain Network Foundation Model: Cross-View Consistency Learning Across Arbitrary Atlases
迈向多视角脑网络基础模型:跨视角一致性学习在任意脑图谱上的应用
Jiaxing Xu, Jingying Ma, Xin Lin, Yuxiao Liu, Kai He, Qika Lin, Yiping Ke, Yang Li, Dinggang Shen, Mengling Feng
机构
*
Saw Swee Hock School of Public Health at National University of Singapore(国立新加坡大学 Saw Swee Hock 公共卫生学院)
;
School of Biomedical Engineering & State Key Laboratory of Advanced Medical Materials and Devices, ShanghaiTech University(上海科技大学 生物医学工程学院及先进医学材料与设备国家重点实验室)
;
College of Computing and Data Science, Nanyang Technological University(南洋理工大学 计算与数据科学学院)
;
School of Automation Science and Electrical Engineering, Beihang University(北航自动化科学与电气工程学院)
;
State Key Laboratory of Virtual Reality Technology and Systems, Beihang University(北航虚拟现实技术与系统国家重点实验室)
;
Shanghai United Imaging Intelligence(上海联合影像智能有限公司)
;
Shanghai Clinical Research and Trial Center(上海临床研究与试验中心)
GraphiContact: Pose-aware Human-Scene Robust Contact Perception for Interactive Systems
GraphiContact: 人体-场景鲁棒接触感知用于交互系统
Xiaojian Lin, Yaomin Shen, Junyuan Ma, Yujie Sun, Chengqing Bu, Wenxin Zhang, Zongzheng Zhang, Hao Fei, Lei Jin, Hao Zhao
机构
*
Tsinghua University, China(清华大学, 中国)
;
XR System Application Research Center, Nanchang Research Institute, Zhejiang University, China(浙江大学南昌研究院XR系统应用研究中心, 中国)
;
Beijing University of Posts and Telecommunications, China(北京邮电大学, 中国)
;
University of Chinese Academy of Sciences, China(中国科学院大学, 中国)
;
National University of Singapore, Singapore(新加坡国立大学, 新加坡)