Budget-Sensitive Discovery Scoring: A Formally Verified Framework for Evaluating AI-Guided Scientific Selection
预算敏感的发现评分:一种用于评估AI引导的科学选择的正式验证框架
机构 * Indian Institute of Information Technology Allahabad (IIITA)(印度阿瓦德理工学院信息学院(IIITA)) ; National Institute of Electronics & Information Technology (NIELIT)(国家电子与信息科技研究所(NIELIT))
专题命中 安全评测 :safety(abstract);分类 cs.AI、cs.LG
AI总结 本文提出BSDS评分,通过正式验证方法评估AI引导的科学选择策略,证明LLMs在药物发现中无额外价值。