Branch and Bound for Relational Verification of Neural Networks
神经网络关系验证的分支定界法
Kota Fukuda, Zhenya Zhang, Guanqin Zhang, Jianjun Zhao
机构
*
Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University(九州大学情报科学与电气工程研究院及学部)
;
National Institute of Informatics(信息学研究所)
;
UNSW Sydney(新南威尔士大学悉尼分校)
机构
*
School of Software Technology, Zhejiang University(浙江大学软件学院)
;
College of Intelligent Robotics and Advanced Manufacturing, Fudan University(复旦大学智能机器人与先进制造学院)
;
School of Artificial Intelligence, Sun Yat-Sen University(中山大学人工智能学院)
;
Graduate School of Information Science, Hokkaido University(北海道大学信息科学研究院)
XBridge: Entity-Grounded Latent Bridge for Heterogeneous LLM Communication
XBridge:面向异构大语言模型通信的实体锚定隐空间桥接器
Wooseong Yang, Wei-Chieh Huang, Weizhi Zhang, Yu Wang, Philip S. Yu, Junhyun Lee
机构
*
Hankuk University of Foreign Studies(韩国外国语大学)
;
Noah’s Farm(诺亚农场)
;
University of Illinois Chicago(伊利诺伊大学芝加哥分校)
;
Capital One AI Foundations(Capital One AI 基金会)
ChronoSSM: Training for Temporally Aware Representations in Autoregressive State Space Models
ChronoSSM:自回归状态空间模型中用于时间感知表示的训练方法
Adrien Schoen, Nachiketa Ratnakar Patil, Arjun Bhagoji, Francesco Bronzino
机构
*
ENS de Lyon(里昂高等师范学院)
;
CNRS(法国国家科学研究中心)
;
UCBL1(里昂第一大学)
;
Indian Institute of Technology Bombay(印度理工学院孟买分校)
;
Institut universitaire de France(法国大学研究院)