ATTNPO: Attention-Guided Process Supervision for Efficient Reasoning
ATTNPO:基于注意力的高效推理过程监督
Shuaiyi Nie, Siyu Ding, Wenyuan Zhang, Linhao Yu, Tianmeng Yang, Yao Chen, Weichong Yin, Yu Sun, Hua Wu, Tingwen Liu
机构
*
Institute of Information Engineering, Chinese Academy of Sciences(中国科学院信息工程研究所)
;
School of Cyber Security, University of Chinese Academy of Sciences(中国科学院大学网络安全学院)
;
Baidu Inc.(百度公司)
;
Tianjin University(天津大学)
Mechanisms of Prompt-Induced Hallucination in Vision-Language Models
视觉-语言模型中提示诱导幻觉的机制
William Rudman, Michal Golovanevsky, Dana Arad, Yonatan Belinkov, Ritambhara Singh, Carsten Eickhoff, Kyle Mahowald
机构
*
The University of Texas at Austin(德克萨斯大学奥斯汀分校)
;
Brown University(布朗大学)
;
Technion(技术学院)
;
University of Tübingen(图宾根大学)
;
Harvard University(哈佛大学)
机构
*
University of Science and Technology of China(中国科学技术大学)
;
Shanghai AI Laboratory(上海人工智能实验室)
;
University of Oxford(牛津大学)
;
Imperial College London(伦敦帝国学院)
;
University of Georgia(佐治亚大学)
;
The Chinese University of Hong Kong(香港中文大学)
;
Chinese Academy of Sciences(中国科学院)
;
Dalian University of Technology(大连理工大学)
;
National University of Singapore(新加坡国立大学)
;
Wuhan University(武汉大学)
Collaboration of Fusion and Independence: Hypercomplex-driven Robust Multi-Modal Knowledge Graph Completion
融合与独立的协作:超复数驱动的鲁棒多模态知识图谱补全
Zhiqiang Liu, Yichi Zhang, Mengshu Sun, Lei Liang, Wen Zhang
机构
*
School of Software Technology, Zhejiang University(浙江大学软件学院)
;
College of Computer Science and Technology, Zhejiang University(浙江大学计算机科学与技术学院)
;
ZJU-Ant Group Joint Lab of Knowledge Graph(浙大蚂蚁集团知识图谱联合实验室)
;
Ant Group(蚂蚁集团)
TabularMath: Understanding Math Reasoning over Tables with Large Language Models
TabularMath: 通过大规模语言模型理解表格上的数学推理
Shi-Yu Tian, Zhi Zhou, Wei Dong, Kun-Yang Yu, Ming Yang, Zi-Jian Cheng, Lan-Zhe Guo, Yu-Feng Li
机构
*
National Key Laboratory for Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室)
;
School of Artificial Intelligence, Nanjing University(南京大学人工智能学院)
;
School of Intelligence Science and Technology, Nanjing University(南京大学智能科学与技术学院)
机构
*
Microsoft Corporation(微软公司)
;
Purdue University(普渡大学)
;
Texas A&M University(德克萨斯农工大学)
;
University of California San Diego(加州大学圣地亚哥分校)
;
University of Southern California(南加州大学)
Automatic Combination of Sample Selection Strategies for Few-Shot Learning
少样本学习中样本选择策略的自动组合
Branislav Pecher, Ivan Srba, Maria Bielikova, Joaquin Vanschoren
机构
*
Faculty of Information Technology, Brno University of Technology(布拉格技术学院,布拉格技术大学)
;
Kempelen Institute of Intelligent Technologies(智能技术研究所)
;
Eindhoven University of Technology(埃因霍温技术大学)
机构
*
College of Computer Science and Artificial Intelligence, Fudan University(复旦大学计算机科学与人工智能学院)
;
Huazhong University of Science and Technology(华中科技大学)
;
The University of Hong Kong(香港大学)
;
ByteDance Seed(字节跳动种子)
;
Institute of Trustworthy Embodied AI, Fudan University(复旦大学可信具身人工智能研究院)
;
Shanghai Key Laboratory of Multimodal Embodied AI(上海多模态具身人工智能重点实验室)
DiZiNER: Disagreement-guided Instruction Refinement via Pilot Annotation Simulation for Zero-shot Named Entity Recognition
DiZiNER:通过试点注释模拟的分歧引导指令细化用于零样本命名实体识别
Siun Kim, Hyung-Jin Yoon
机构
*
Seltasquare Seoul, Korea(首尔韩国Seltasquare)
;
Seoul National University College of Medicine(首尔国立大学医学院)
;
Biomedical Research Institute, Seoul National University Hospital(首尔国立大学医院生物医学研究所)
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
发现与证明:一个开源代理框架用于Lean 4中的硬模式自动定理 proving
Chengwu Liu, Yichun Yin, Ye Yuan, Jiaxuan Xie, Botao Li, Siqi Li, Jianhao Shen, Yan Xu, Lifeng Shang, Ming Zhang
机构
*
State Key Laboratory for Multimedia Information Processing, School of Computer Science, PKU-Anker LLM Lab, Peking University(信息处理国家重点实验室,计算机科学学院,PKU-Anker LLM实验室,北京大学)
;
Huawei Technologies Co., Ltd.(华为技术有限公司)
;
School of Software & Microelectronics, Peking University(软件与微电子学院,北京大学)
;
School of Electronics Engineering and Computer Science, Peking University(电子工程与计算机科学学院,北京大学)