Evaluating LLM-Driven Summarisation of Parliamentary Debates with Computational Argumentation
评估基于大语言模型的议会辩论总结的论证内容
Eoghan Cunningham, Derek Greene, James Cross, Antonio Rago
机构
*
School of Computer Science, University College Dublin（都柏林大学计算机科学学院）
；
School of Politics and International Relations, University College Dublin（都柏林大学政治与国际关系学院）
；
Department of Informatics, King’s College London（伦敦国王学院信息学院）
Coherence Under Commitment: Probing Generalization and Vacuous Memorization in LLM Logical Reasoning
承诺下的一致性：探究LLM逻辑推理中的泛化与空洞记忆
Noor Islam S. Mohammad, Mahmudul Hasan
机构
*
Department of Computer Science, Informatics Institute, Istanbul Technical University（伊斯坦布尔技术大学信息学研究所计算机科学系）
；
School of Information Technology, Deakin University（迪肯大学信息技术学院）
机构
*
Nanjing University of Aeronautics and Astronautics（南京航空航天大学）
；
College of Computer Science and Technology（计算机科学与技术学院）
；
Didichuxing Co. Ltd（滴滴出行有限公司）
Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning
了解你的局限：LLM在法律推理中作为求解器和自动形式化工具的忠实性
Olivia Peiyu Wang, Sanna Wong-Toropainen, Daneshvar Amrollahi, Ryan Bai, Tashvi Bansal, Arush Garg, Leilani H. Gilpin
机构
*
UC Santa Cruz（加州大学圣克鲁兹分校）
；
Univ. Helsinki（赫尔辛基大学）
；
CodeX, Stanford（斯坦福大学CodeX中心）
；
Stanford University（斯坦福大学）
；
Canyon Crest Academy（峡谷峰学院）
；
Monta Vista High School（蒙塔维斯塔高中）
；
Los Altos High School（洛斯阿尔托斯高中）
Comments10 pages, submitted to COLM 2026 (under review, average score of 6.25 across 4 reviewers) and accepted by the AI4Law and AI4Math workshops at ICML. This is the version where we already addressed most of the reviews from the COLM & AI4Law &; AI4Math reviewers
机构
*
Institute for Clarity in Documentation（文档清晰度研究所）
；
Inria Paris-Rocquencourt（法国国家信息与自动化研究所巴黎-罗康库尔中心）
；
Rajiv Gandhi University（拉吉夫·甘地大学）
；
Tsinghua University（清华大学）
；
Palmer Research Laboratories（帕默研究实验室）
；
State Key Laboratory of Opto-Electronic Information Acquisition and Protection Technology, Institute of Physical Science and Information Technology, Anhui University（光电信息获取与防护技术国家重点实验室，物理科学与信息技术学院，安徽大学）
；
School of Artificial Intelligence, Anhui University（安徽大学人工智能学院）
；
School of Computer Science and Technology, Dalian University of Technology（大连理工大学计算机科学与技术学院）
；
School of Computer Science and Technology, Anhui University（安徽大学计算机科学与技术学院）
；
State Key Laboratory of Cognitive Intelligence, University of Science and Technology of China, the Institute of Artificial Intelligence, Hefei Comprehensive National Science Center（认知智能国家重点实验室，中国科学技术大学，人工智能研究院，合肥综合性国家科学中心）
Composing Verifiable Conceptual Models via Building Blocks: Towards Design-Time Verification of Agentic AI Workflows
通过构建块组合可验证的概念模型：面向智能体AI工作流的设计时验证
Noe Y. Flandre, Alexander C. Nwala, Philippe J. Giabbanelli
机构
*
Team EVERGREEN Inria Centre Inria d’Université Côte d’Azur（法国国家信息与自动化研究所蔚蓝海岸大学中心EVERGREEN团队）
；
Department of Data Science William & Mary（威廉与玛丽学院数据科学系）
；
Office of Enterprise Research and Innovation Old Dominion University（欧道明大学企业研究与创新办公室）
AutoRAS: Learning Robust Agentic Systems with Primitive Representations
AutoRAS: 学习具有原始表示的鲁棒智能系统
Yang Yue, Xuancheng Zhu, Yuyang Ma, Guoshun Nan, Zihan Dou, Jingru Shan, Congyu Guo, Ji Zhang, Hua Wang, Jingfeng Zhang
机构
*
Beijing University of Posts and Telecommunications（北京邮电大学）
；
Guangxi Transportation Science and Technology Group Co., Ltd.（广西交通科技集团有限公司）
；
Fudan University（复旦大学）
CommentsAccepted at Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs, 18 July 2026, Lisbon v2: Added references to other Prolog MCP servers; fixed typos
机构
*
Qizhi Institute（启智研究院）
；
Dept. of Computer Science, Tsinghua University（清华大学计算机科学系）
；
College of AI, Tsinghua University（清华大学人工智能学院）
；
Engineering Department, National University of Singapore（新加坡国立大学工程系）
；
Dept. of Automation, Shanghai Jiao Tong University（上海交通大学自动化系）
；
IIIS, Tsinghua University（清华大学人工智能研究院）
；
College of Software, Northeastern University（东北大学软件学院）
Latent Goal Prediction from Language for Model-Based Planning
基于语言隐式目标预测的模型规划
Samuel Barbeau, Simon Roy, Giovanni Beltrame, Christian Desrosiers, Nicolas Thome
机构
*
École de Technologie Supérieure, Montréal（蒙特利尔高等技术学院）
；
International Laboratory on Learning Systems (ILLS)（国际学习系统实验室）
；
Polytechnique Montréal（蒙特利尔综合理工学院）
；
MILA
；
Institut Universitaire de France (IUF)（法国大学研究院）
；
Université Sorbonne, CNRS, ISIR（索邦大学，法国国家科学研究中心，智能系统与机器人研究所）
机构
*
Institute of Digital Twin, Eastern Institute of Technology（东方理工数字孪生研究所）
；
Zhejiang University（浙江大学）
；
Munich Center for Machine Learning, LMU（慕尼黑机器学习中心，慕尼黑大学）
