COCOLogic-V2: Identifying Logical Inconsistencies via Truly Hard-Negatives
COCOLogic-V2: 通过真正的困难负样本识别逻辑不一致性
David Steinmann, Antonia Wüst, Kristian Kersting, Wolfgang Stammer
机构
*
Computer Science Department, TU Darmstadt(达姆施塔特工业大学计算机科学系)
;
Hessian Center for AI (hessian.AI)(黑森人工智能中心)
;
German Research Center for AI (DFKI)(德国人工智能研究中心)
;
Max Planck Institute for Informatics, SIC(马克斯·普朗克信息学研究所SIC)
;
RTG Neuroexplicit Models(RTG神经显式模型)
机构
*
The Hong Kong Polytechnic University(香港理工大学)
;
Meituan Longcat Team(美团龙猫团队)
;
Peking University(北京大学)
;
Nanjing University of Science and Technology(南京理工大学)
AI Scientists as Engines of Discovery: A Case for Development within Reformed Institutions
作为发现引擎的AI科学家:在改革机构内发展的案例
Raul Jimenez, Boris Bolliet, Francisco Villaescusa-Navarro, Rabih Zbib, Benjamin Wandelt, David N. Spergel, Thomas Meier, Jessica Montgomery, Hana Aliee, Licia Verde
机构
*
Institute of Cosmos Sciences (ICCUB), University of Barcelona(巴塞罗那大学宇宙科学研究所)
;
ICREA
;
Cavendish Astrophysics, University of Cambridge(剑桥大学卡文迪什天体物理学)
;
Kavli Institute for Cosmology, University of Cambridge(剑桥大学卡维里宇宙学研究所)
;
Center for Computational Astrophysics, Flatiron Institute(弗拉蒂隆研究所计算天体物理中心)
;
Department of Astrophysical Sciences, Princeton University(普林斯顿大学天体物理科学系)
;
Avature
;
Department of Physics and Astronomy, Johns Hopkins University(约翰霍普金斯大学物理与天文学系)
;
Department of Applied Mathematics and Statistics, Johns Hopkins University(约翰霍普金斯大学应用数学与统计学系)
;
Flatiron Institute(弗拉蒂隆研究所)
;
Munich Center for Machine Learning, LMU Munich(慕尼黑大学慕尼黑机器学习中心)
;
Department of Computer Science and Technology, University of Cambridge(剑桥大学计算机科学与技术系)
;
School of Clinical Medicine, University of Cambridge(剑桥大学临床医学院)