arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

高校专区

University of Cambridge(剑桥大学)

2026-04-08 至 2026-04-08 共收录 4
2604.05181 2026-04-08 cs.LG

General Multimodal Protein Design Enables DNA-Encoding of Chemistry

通用多模态蛋白质设计使化学编码成为可能

Jarrid Rector-Brooks, Théophile Lambert, Marta Skreta, Daniel Roth, Yueming Long, Zi-Qi Li, Xi Zhang, Miruna Cretu, Francesca-Zhoufan Li, Tanvi Ganapathy, Emily Jin, Avishek Joey Bose, Jason Yang, Kirill Neklyudov, Yoshua Bengio, Alexander Tong, Frances H. Arnold, Cheng-Hao Liu

机构 * California Institute of Technology(加州理工学院) Mila – Québec AI Institute(Mila – 魁北克人工智能研究所) Université de Montréal(蒙特利尔大学) Université Paris-Saclay(巴黎-萨克雷大学) McGill University(麦吉尔大学) University of Cambridge(剑桥大学) University of Oxford(牛津大学) Imperial College London(伦敦帝国理工学院) Institut Courtois(库尔图瓦研究所) LawZero AITHYRA FutureHouse

AI总结 DISCO模型通过多模态设计实现蛋白质序列和三维结构的协同优化,能够设计出新型血红素酶,催化新的化学反应,拓展了遗传编码转化的潜力。

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.18911 2026-04-08 cs.LG

From Human-Level AI Tales to AI Leveling Human Scales

从人类水平AI故事到AI人类尺度

Peter Romero, Fernando Martínez-Plumed, Zachary R. Tidler, Matthieu Téhénan, Sipeng Chen, Álvaro David Gómez Antón, Luning Sun, Manuel Cebrian, Lexin Zhou, Yael Moros Daval, Daniel Romero-Alvarado, Félix Martí Pérez, Kevin Wei, José Hernández-Orallo

机构 * Valencian Research Institute of Artificial Intelligence, Universitat Politècnica de València(瓦伦西亚人工智能研究所,瓦伦西亚理工大学) Leverhulme Centre for the Future of Intelligence, University of Cambridge(勒弗休姆未来智能中心,剑桥大学) The Psychometrics Centre, University of Cambridge(心理测量中心,剑桥大学) Georgia Institute of Technology(佐治亚理工学院) Harvard University(哈佛大学) Center for Automation and Robotics, Spanish National Research Council(自动化与机器人中心,西班牙国家研究委员会) Department of Computer Science, Princeton University(普林斯顿大学计算机科学系) Carnegie Mellon University(卡内基梅隆大学) University of Cambridge, Department of Computer Sciences and Technology(剑桥大学计算机科学与技术系)

AI总结 本文提出一种框架,通过校准项目以'世界人口'为基准,建立人类锚定的共同尺度,以更准确评估AI能力。

Comments 23 pages, 10 figures. submitted to ICML 2026

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.10815 2026-04-08 cs.AI cs.CL cs.IR cs.SC

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems

DRIFT: 分解、检索、示例,然后形式化定理

Meiru Zhang, Philipp Borchert, Milan Gritta, Gerasimos Lampouras

机构 * Language Technology Lab, University of Cambridge(剑桥大学语言技术实验室) Huawei Noah’s Ark Lab(华为诺亚方舟实验室)

AI总结 DRIFT框架通过分解数学陈述并检索相关定理,提升大语言模型在形式化证明中的前提检索能力,显著提高F1分数和跨分布性能。

Comments Accepted at ICLR 2026

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.15696 2026-04-08 math.NA cs.LG cs.NA

Approximation properties of neural ODEs

神经微分方程的逼近性质

Arturo De Marinis, Davide Murari, Elena Celledoni, Nicola Guglielmi, Brynjulf Owren, Francesco Tudisco

机构 * Gran Sasso Science Institute (GSSI)(格兰萨索科学研究所) University of Cambridge(剑桥大学) Norwegian University of Science and Technology (NTNU)(挪威科技大学) University of Edinburgh(爱丁堡大学)

AI总结 本文研究了神经微分方程在连续函数空间中的逼近性质,通过嵌入和投影操作构建浅层神经网络,并证明了其通用逼近性质及约束条件下的逼近性能。

Comments 30 pages, 8 figures, 2 tables

详情

展开后加载摘要…

URL PDF HTML 收藏