ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
ReForm:具有前瞻性有界序列优化的反思自动形式化
Guoxin Chen, Jing Wu, Xinjie Chen, Wayne Xin Zhao, Ruihua Song, Chengxi Li, Kai Fan, Dayiheng Liu, Minpeng Liao
机构
*
Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院)
;
Tongyi Lab, Alibaba Group(阿里巴巴集团通义实验室)
;
Zhejiang University(浙江大学)
;
Beijing Key Laboratory of Research on Large Models and Intelligent Governance(北京大模型与智能治理重点实验室)
专题命中
推理与问题求解
:LLM(abstract);large language model(abstract);language model(abstract);分类 cs.CL
IMAGINE: Integrating Multi-Agent System into One Model for Complex Reasoning and Planning
IMAGINE:将多智能体系统整合到一个模型中以实现复杂推理和规划
Xikai Zhang, Bo Wang, Likang Xiao, Yongzhi Li, Quan Chen, Wenjun Wu, Liu Liu
机构
*
Hangzhou International Innovation Institute, Beihang University(北京航空航天大学杭州国际创新研究院)
;
School of Artificial Intelligence, Beihang University(北京航空航天大学人工智能学院)
;
Kuaishou Technology(快手科技)
专题命中
推理与问题求解
:large language model(abstract);language model(abstract);分类 cs.CL、cs.AI
Overview of PAN 2026: Voight-Kampff Generative AI Detection, Text Watermarking, Multi-Author Writing Style Analysis, Generative Plagiarism Detection, and Reasoning Trajectory Detection
PAN 2026概览:Voight-Kampff生成式AI检测、文本水印、多作者写作风格分析、生成式抄袭检测及推理轨迹检测
Janek Bevendorff, Maik Fröbe, André Greiner-Petter, Andreas Jakoby, Maximilian Mayerl, Preslav Nakov, Henry Plutz, Martin Potthast, Benno Stein, Minh Ngoc Ta, Yuxia Wang, Eva Zangerle
机构
*
Friedrich Schiller University Jena(耶纳弗里德里希·施勒格尔大学)
;
University of Applied Sciences BFI(应用科学大学BFI)
;
Mohamed bin Zayed University of Artificial Intelligence(马尔代夫 bin Zayed 人工智能大学)
;
University of Kassel(卡塞尔大学)
;
INSAIT, Sofia University ``St. Kliment Ohridski''(INSAIT,索菲亚大学『圣克莱门特·奥赫里迪斯』)
;
University of Innsbruck(因斯布鲁克大学)
专题命中
推理与问题求解
:LLM(abstract);分类 cs.CL
AI总结
PAN 2026旨在通过客观评估推进计算风格学和文本取证,涵盖生成式AI检测、文本水印、多作者写作分析、抄袭检测及推理轨迹检测等五个新旧任务。
机构
*
Institute of Automation, Chinese Academy of Sciences(中国科学院自动化研究所)
;
Peking University(北京大学)
;
Institute of Computing Technology, Chinese Academy of Sciences(中国科学院计算技术研究所)
Leveraging LLM Agents and Digital Twins for Fault Handling in Process Plants
利用大语言模型代理和数字孪生进行过程厂故障处理
Milapji Singh Gill, Javal Vyas, Artan Markaj, Felix Gehlhoff, Mehmet Mercangöz
机构
*
Institute of Automation Technology Helmut Schmidt University Hamburg(海因里希·施密特大学汉堡自动化技术研究所)
;
Autonomous Industrial Systems Lab, Imperial College London(伦敦帝国理工学院自主工业系统实验室)
专题命中
评测与基准
:LLM(title,abstract);large language model(abstract);language model(abstract);prompting(abstract)
A Survey on Parallel Text Generation: From Parallel Decoding to Diffusion Language Models
关于并行文本生成的综述:从并行解码到扩散语言模型
Lingzhe Zhang, Liancheng Fang, Chiming Duan, Minghua He, Leyi Pan, Pei Xiao, Shiyu Huang, Yunpeng Zhai, Xuming Hu, Philip S. Yu, Aiwei Liu
机构
*
Peking University(北京大学)
;
University of Illinois Chicago(伊利诺伊大学香槟分校)
;
Tsinghua University(清华大学)
;
XPENG
;
Alibaba Group(阿里巴巴集团)
;
The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))
专题命中
评测与基准
:language model(title,abstract);large language model(abstract);分类 cs.CL、cs.AI
机构
*
Southern University of Science and Technology(南方科技大学)
;
Alibaba Group(阿里巴巴集团)
;
Beihang University(北航)
;
Shanghai University of Finance and Economics(上海财经大学)
机构
*
School of Automation Science and Engineering, South China University of Technology, Guangzhou, China(自动化科学与工程学院,华南理工大学,广州,中国)
;
Vanderbilt University, Nashville, TN, USA(范德比尔特大学,纳什维尔,田纳西州,美国)
;
The Pennsylvania State University, University Park, PA , USA(宾夕法尼亚州立大学,大学园,宾夕法尼亚州,美国)
;
Peking University, Beijing , China(北京大学,北京,中国)
;
Virginia Commonwealth University, Richmond, VA, USA(弗吉尼亚共同wealth大学,里士满,弗吉尼亚州,美国)
;
University of California San Diego, San Diego, CA, USA(加州大学圣地亚哥分校,圣地亚哥,加利福尼亚州,美国)