机构
*
School of Computer Science and Engineering, Northeastern University(东北大学计算机科学与工程学院)
;
Department of Computer Science and Technology, Tsinghua University(清华大学计算机科学与技术系)
;
Alibaba Group(阿里巴巴集团)
;
School of Artificial Intelligence, Shanghai Jiao Tong University(上海交通大学人工智能学院)
机构
*
USTC(University of Science and Technology of China)
;
Alibaba Group(阿里巴巴集团)
;
CASIA(Chinese Academy of Sciences Institute of Automation)
;
SIAT(Institute of Automation, Chinese Academy of Sciences)
DeepEvidence: Empowering Biomedical Discovery with Deep Knowledge Graph Research
DeepEvidence: 通过深度知识图谱研究赋能生物医学发现
Zifeng Wang, Zheng Chen, Ziwei Yang, Xuan Wang, Qiao Jin, Yifan Peng, Zhiyong Lu, Jimeng Sun
机构
*
Keiji AI
;
Institute of Scientific and Industrial Research, Osaka University(大阪大学科学工业研究所)
;
Bioinformatics Center, Institute for Chemical Research, Kyoto University(京都大学化学研究所生物信息中心)
;
Division of Intramural Research, National Library of Medicine, National Institutes of Health(国家卫生研究院生物医学图书馆内部研究部)
;
Department of Population Health Sciences, Weill Cornell Medicine(韦尔·科恩医学中心流行病学与健康科学系)
;
School of Computing and Data Science, University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校计算机与数据科学学院)
Inverse Knowledge Search over Verifiable Reasoning: Synthesizing a Scientific Encyclopedia from a Long Chains-of-Thought Knowledge Base
反向知识搜索与可验证推理:从长推理链知识库合成科学百科全书
Yu Li, Yuan Huang, Tao Wang, Caiyu Fan, Xiansheng Cai, Sihan Hu, Xinzijian Liu, Cheng Shi, Mingjun Xu, Zhen Wang, Yan Wang, Xiangqi Jin, Tianhan Zhang, Linfeng Zhang, Lei Wang, Youjin Deng, Pan Zhang, Weijie Sun, Xinyu Li, Weinan E, Linfeng Zhang, Zhiyuan Yao, Kun Chen
机构
*
Lanzhou Center for Theoretical Physics, Key Laboratory of Theoretical Physics of Gansu Province, Key Laboratory of Quantum Theory and Applications of MoE, Gansu Provincial Research Center for Basic Disciplines of Quantum Physics(兰州理论物理中心、甘肃省理论物理重点实验室、教育部量子理论与应用重点实验室、甘肃省量子物理基础学科研究省重点中心)
;
Institute of Theoretical Physics, Chinese Academy of Sciences(中国科学院理论物理研究所)
;
DP Technology(DP技术)
;
Institute of Physics, Chinese Academy of Sciences(中国科学院物理研究所)
;
Département d’Informatique, École normale supérieure(巴黎高等师范大学计算机系)
Search for Active and Inactive Ion Insertion Sites in Organic Crystalline Materials
在有机晶体材料中寻找活跃和非活跃离子插入位点
Harshan Reddy Gopidi, Alae Eddine Lakraychi, Abhishek A. Panchal, Yiming Chen, V. S. Chaitanya Kolluru, Jiaqi Wang, Ying Chen, Liu Jue, Kamila Wiaderek, Maria K. Y. Chan, Yan Yao, Pieremanuele Canepa
Rules, Resources, and Restrictions: A Taxonomy of Task-Based Information Request Intents
规则、资源与限制:任务导向信息请求意图的分类
Melanie A. Kilian, David Elsweiler
专题命中
工具调用
:planning(abstract)
AI总结
本文提出任务导向信息请求意图的分类,以弥补传统查询方法与AI任务支持需求之间的差距。
Comments11 pages, 1 figure, to be published in: 2026 ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR '26), March 22-26, 2026, Seattle, WA, USA. ACM, New York, NY, USA, 11 pages. https://doi.org/10.1145/3786304.3787863
机构
*
University of California, Irvine(加州大学尔湾分校)
;
Center for Advanced AI, Accenture(Accenture高级人工智能中心)
;
University of California, San Diego(加州大学圣地亚哥分校)
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Numina-Lean-Agent: 一种面向形式数学的开放且通用的代理推理系统
Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li
机构
*
Academy of Mathematics and Systems Science, University of Chinese Academy of Sciences(中国科学院数学与系统科学研究院)
;
Tongji University(同济大学)
;
University of Cambridge(剑桥大学)
;
Imperial College London(伦敦帝国学院)
;
University of Edinburgh(爱丁堡大学)
;
University of Liverpool(利物浦大学)
;
Xi'an Jiaotong-Liverpool University(西安交通大学利物浦大学)
Disagreement as Data: Reasoning Trace Analytics in Multi-Agent Systems
分歧作为数据:多智能体系统中的推理轨迹分析
Elham Tajik, Conrad Borchers, Bahar Shahrokhian, Sebastian Simon, Ali Keramati, Sonika Pal, Sreecharan Sankaranarayanan
机构
*
University at Albany(纽约州立大学阿尔巴尼分校)
;
Carnegie Mellon University(卡内基梅隆大学)
;
Arizona State University(亚利桑那州立大学)
;
Le Mans University(勒曼大学)
;
University of California, Irvine(加州大学尔湾分校)
;
Indian Institute of Technology Bombay(印度班加罗尔理工学院)
;
Extuitive Inc. (Flagship Pioneering)(Extuitive公司(Flagship Pioneering))