机构
*
Doctoral Program in Informatics, University of Tsukuba(信息学博士项目,东京大学)
;
Doctoral Program in Nursing Science, University of Tsukuba(护理科学博士项目,东京大学)
;
Institute of Library, Information and Media Science, University of Tsukuba(图书馆、信息与媒体科学研究所,东京大学)
Comments22 pages, 8 figures. Includes an ecological validity blind test where the Agentic Workflow achieved a 25% acceptance rate in top-tier media, decisively outperforming the SOTA Zero-shot baseline (0%). Features the DNFO-v5 ontology
Advancing Mathematical Research via Human-AI Interactive Theorem Proving
通过人机交互定理证明推进数学研究
Chenyi Li, Zhijian Lai, Dong An, Jiang Hu, Zaiwen Wen
机构
*
Beijing International Center for Mathematical Research, Peking University(北京大学北京国际数学研究中心)
;
Yau Mathematical Sciences Center, Tsinghua University(清华大学尤伊数学科学中心)
Commentsv4: Clarified the structural role of 'Regulation' as a governing constraint distinct from the loop cycle. Revised Figures 1 and 2 for better architectural clarity and unified terminology
AutoMedic: An Automated Evaluation Framework for Clinical Conversational Agents with Medical Dataset Grounding
AutoMedic: 一种用于具有医学数据集支撑的临床对话代理的自动化评估框架
Gyutaek Oh, Sangjoon Park, Byung-Hoon Kim
机构
*
Yonsei University College of Medicine(延世大学医学院)
;
Yonsei Institute for Digital Health(延世大学数字健康研究所)
;
Yonsei University(延世大学)
;
Institute of Behavioral Sciences in Medicine(医学行为科学研究所)
机构
*
Shanghai AI Laboratory(上海人工智能实验室)
;
Shanghai Jiaotong University(上海交通大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Zhejiang University(浙江大学)
;
Beihang University(北京航空航天大学)
;
Xi’an Jiaotong University(西安交通大学)
;
University of Hong Kong(香港大学)
;
Fudan University(复旦大学)
;
University of California, Los Angeles(加州大学洛杉矶分校)