Document Retrieval Augmented Fine-Tuning (DRAFT) for safety-critical software assessments
用于安全关键软件评估的文档检索增强微调(DRAFT)
Regan Bolton, Mohammadreza Sheikhfathollahi, Simon Parkinson, Vanessa Vulovic, Gary Bamford, Dan Basher, Howard Parkinson
机构
*
Digital Transit Limited, 3M Buckley Innovation Centre, UK, HD1 3BD(数字交通有限公司,3M Buckley创新中心,英国,HD1 3BD)
;
Department of Computer Science, University of Huddersfield, UK, HD1 3DH(计算机科学系,赫德瑟菲尔德大学,英国,HD1 3DH)
Claw-Eval: Towards Trustworthy Evaluation of Autonomous Agents
Claw-Eval: 向可信的自主代理评估迈进
Bowen Ye, Rang Li, Qibin Yang, Yuanxin Liu, Linli Yao, Hanglong Lv, Zhihui Xie, Chenxin An, Lei Li, Lingpeng Kong, Qi Liu, Zhifang Sui, Tong Yang
机构
*
State Key Laboratory of Multimedia Information Processing, School of Computer Science, Peking University(多媒体信息处理国家重点实验室,计算机学院,北京大学)
;
The University of Hong Kong(香港大学)
机构
*
LAAS-CNRS(法国图卢兹Laas--cnrs研究所)
;
University of Toulouse(图卢兹大学)
;
Thales(泰勒斯)
;
ONERA(法国国家航空器研究与测试中心)
;
Espace-Dev, IRD, Université de Montpellier(Espace-Dev, 法国国家农业与食品研发机构, 图卢兹大学)
;
Universidade Federal do Rio Grande do Norte(巴西北里奥格兰德联邦大学)
Sum-of-Checks: Structured Reasoning for Surgical Safety with Large Vision-Language Models
Sum-of-Checks: 用于手术安全的结构化推理方法基于大型视觉-语言模型
Weiqiu You, Cassandra Goldberg, Amin Madani, Daniel A. Hashimoto, Eric Wong
机构
*
Department of Computer and Information Science, University of Pennsylvania(宾夕法尼亚大学计算机与信息科学系)
;
Department of Surgery, University of Toronto(多伦多大学外科系)
;
Surgical Artificial Intelligence Research Academy, University Health Network(外科人工智能研究学院,大学健康网络)
;
Department of Surgery, Perelman School of Medicine, University of Pennsylvania(宾夕法尼亚大学外科系,佩雷尔曼医学院)
REVEAL: Multimodal Vision-Language Alignment of Retinal Morphometry and Clinical Risks for Incident AD and Dementia Prediction
REVEAL:多模态视图-语言对齐的视网膜形态学与临床风险预测
Seowung Leem, Lin Gu, Chenyu You, Kuang Gong, Ruogu Fang
机构
*
J. Crayton Pruitt Family Department of Biomedical Engineering, University of Florida(佛罗里达大学J. Crayton Pruitt家族生物医学工程系)
;
Research Institute of Electrical Communication, Tohoku University(东北大学电气通信研究所)
;
Department of Applied Mathematics & Statistics, Stony Brook University(石溪大学应用数学与统计学系)
;
Department of Computer Science, Stony Brook University(石溪大学计算机科学系)
BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
BarrierBench: 评估大型语言模型在动态系统安全验证中的性能
Ali Taheri, Alireza Taban, Sadegh Soudjani, Ashutosh Trivedi
机构
*
Isfahan University of Technology(伊斯法罕技术大学)
;
Max Planck Institute for Software Systems(马克斯·普朗克软件系统研究所)
;
University of Colorado Boulder(科罗拉多大学博尔德分校)
TimeMark: A Trustworthy Time Watermarking Framework for Exact Generation-Time Recovery from AIGC
TimeMark: 一种用于从AIGC中精确生成时间恢复的可信时间水印框架
Shangkun Che, Silin Du, Ge Gao
机构
*
Economics and Management School, Wuhan University(武汉大学经济管理学院)
;
School of Economics and Management, Tsinghua University(清华大学经济管理学院)
;
School of Business Administration, Southwestern University of Finance and Economics(西南财经大学商学院)
EmbodiedGovBench: A Benchmark for Governance, Recovery, and Upgrade Safety in Embodied Agent Systems
EmbodiedGovBench: 一种用于具身代理系统治理、恢复和升级安全性的基准
Xue Qin, Simin Luan, John See, Cong Yang, Zhijun Li
机构
*
School of Software, Harbin Institute of Technology(哈尔滨工业大学软件学院)
;
School of Computer Science and Technology, Harbin Institute of Technology(哈尔滨工业大学计算机科学与技术学院)
;
School of Mathematical and Computer Sciences, Heriot-Watt University, Malaysia Campus(赫瑞-瓦特大学马来西亚校区数学与计算机科学学院)
;
School of Future Science and Engineering, Soochow University(苏州大学未来科学与工程学院)