机构
*
Meituan(美团)
;
MBZUAI(Mohamed bin Zayed University of Artificial Intelligence)
;
Huazhong University of Science and Technology(华中科技大学)
;
Peking University(北京大学)
;
Tsinghua University(清华大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Shanghai Jiao Tong University(上海交通大学)
Vero: Can AI Agents Build Formally Verified Software Repositories?
Vero:AI智能体能否构建形式化验证的软件仓库?
Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, Dawn Song
机构
*
University of Chicago(芝加哥大学)
;
California Institute of Technology(加州理工学院)
;
Stanford University(斯坦福大学)
;
UC Berkeley(加州大学伯克利分校)
;
Amazon Web Services(亚马逊云计算服务)
;
Apodex
机构
*
Nara Institute of Science and Technology(奈良科学技术研究所)
;
Waseda University(早稻田大学)
;
The University of Tokyo(东京大学)
;
IT University of Copenhagen(哥本哈根信息技术大学)
;
Tohoku University(东北大学)
TabSOM: A tabular-to-image encoding method based on self-organizing maps
TabSOM:一种基于自组织映射的表格转图像编码方法
David Chushig-Muzo, María Ángeles Rodríguez de Cara, Eva Milara, Francisco J. Lara-Abelenda, Luis Zhinin-Vera, Diego H. Peluffo-Ordóñez
机构
*
Rey Juan Carlos University (URJC)(雷胡安·卡洛斯大学)
;
Universidad Francisco de Vitoria(弗朗西斯科·德·维多利亚大学)
;
University of Castilla-La Mancha(卡斯蒂利亚-拉曼恰大学)
;
Yachay Tech University(亚奇理工大学)
Comments15 pages, 4 figures. Accepted for oral presentation at the 29th International Conference on Discovery Science (DS 2026), Mainz, Germany, October 5-9, 2026. To appear in Springer Lecture Notes in Computer Science (LNCS)
Synthetic Persona Pretraining: Alignment from Token Zero
合成角色预训练:从零开始的对齐
Julian Minder, Viktor Moskvoretskii, Raghav Singhal, Difan Jiao, Andy Arditi, Shaobo Cui, Yiderigun Borjigin, Kartik Bali, Stefan Krsteski, Harsh Raj, Huu Nguyen, Jannik Brinkmann, Ashton Anderson, Roland Aydin, Robert West