Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision
Xingwei Tan, Marco Valentino, Mahmud Akhter, Maria Liakata, Nikolaos Aletras
机构
*
School of Computer Science, University of Sheffield(谢菲尔德大学计算机科学学院)
;
School of Electronic Engineering and Computer Science, Queen Mary University of London(伦敦大学玛丽女王学院电子工程与计算机科学学院)
;
The Alan Turing Institute(艾伦·图灵研究所)
机构
*
School of Computer Science, Peking University, Beijing, China(北京大学计算机学院)
;
Key Laboratory of High Confidence Software Technologies, Ministry of Education(教育部高可信软件技术重点实验室)
;
National Engineering Research Center for Software Engineering, Peking University, China(软件工程国家级工程研究中心)
;
Big Data Technology Research Center, Nanhu Laboratory, Jiaxing, China(南湖实验室大数据技术研究中心)
;
Peking University Information Technology Institute, Tianjin Binhai, China(北京大学信息科学技术研究院)
Sentinel Agents for Secure and Trustworthy Agentic AI in Multi-Agent Systems
Diego Gosmar, Deborah A. Dahl
机构
*
Head of AI Tesisquare(Tesisquare人工智能负责人)
;
Voiceinteroperability.ai Initiative Member(Voiceinteroperability.ai 创始成员)
;
Linux Foundation AI & Data(Linux基金会人工智能与数据)
;
AI & Data Torino, TO 10100, Italy(人工智能与数据Torino, TO 10100, Italy)
;
Principal Conversational Technologies(对话技术首席专家)
;
Plymouth Meeting, Pennsylvania, USA(美国宾夕法尼亚州Plymouth Meeting)
机构
*
Cheriton School of Computer Science, University of Waterloo(滑铁卢大学计算机科学学院)
;
School of Computing, FSE, Macquarie University(麦觉大学计算机学院)
;
School of Computing and Information System, the University of Melbourne(墨尔本大学计算机与信息系统学院)
;
Rajax Network Technology (ele.me), China(中国Rajax网络技术(饿了么))
;
Alibaba Cloud Computing, Alibaba Group, China(中国阿里云 computing,阿里集团)
机构
*
SKL of Processors, Institute of Computing Technology, Chinese Academy of Sciences(处理器国家重点实验室,计算技术研究所,中国科学院)
;
Fu Foundation School of Engineering and Applied Science, Columbia University(工程与应用科学学院,哥伦比亚大学)
;
University of Chinese Academy of Sciences(中国科学院大学)
;
Zhejiang Lab(浙江实验室)
;
Beijing University of Technology(北京理工大学)
;
Institute of Computing Technology, Chinese Academy of Sciences(计算技术研究所,中国科学院)
专题命中
其他安全
:alignment(abstract);分类 cs.AI
CommentsThis paper has been accepted by ACM Multimedia 2025 (ACM MM 2025)