长程购物模拟基准UserArena与OPTD在线轨迹蒸馏,模拟器最忠实复现线上策略效应
Jujia Zhao, Jiakai Tang, Jing Yu, Wen Chen, Jian Wu, Han Zhu, Fei Sun, Suzan...
LLM智能体
在线策略蒸馏
智能体推荐
用户模拟器
电子商务
把四类智能体进化方法拆成可组合算子,统一执行、评测与溯源,实现公平对比与可信实验。
Zimu Wang, Xiaobo Wang, Siyu Ye, Jiaqi Li, Silin Chen, Yuling Shi, Ruobing...
LLM Agent
实验基础设施
开源框架
提示词优化
智能体进化
能力感知 harness 编排分层 VLA,仅凭视觉与键鼠在 Minecraft 完成长视野任务
Zecong Tang, Zian Guan, Yuncheng Guo, Zhanqiu Zhang, Yiwen Guo, Bo Dai
Minecraft
VLA
具身智能
强化学习
智能体编排
用世界建模统一视角,把视频理解、生成、统一与交互组织为读、写、共享、交互四大操作
Shengqiong Wu, Meng Luo, Bobo Li, Ziwei Liu, Shuicheng Yan, Ming-Hsuan Yang,...
世界模型
统一多模态模型
综述
视频理解
视频生成
16B 统一具身模型,以交错视频-语言推理打通理解、预测与机器人控制。
Minghao Zhu, Bohan Hou, Kun Xiang, Zixuan Wang, Yinzhou Tang, Yifei Yang,...
世界模型
具身智能
强化学习
机器人操作
统一多模态模型
仅凭主题词让模型自编题目自造答案,经自蒸馏循环实现零数据自我提升
Leon Sick, Lukas Hoyer, Yannick Strümpler, Christian Reisswig, Timo...
后训练
多模态学习
数据合成
自蒸馏
自训练
用Gram矩阵在三个扰动尺度上诊断预训练世界模型LeWM是否复现环境的局部动作敏感几何
Vasil Vasilev, Siddharth Nayak
JEPA
世界模型
动作敏感度
表示几何
评估诊断
用稀疏历史分布缓存替代持久教师模型,实现单策略、时序稳定的自蒸馏强化学习
Aryan Das, Arnab Bhattacharya, Vinay Kumar Verma
LLM推理
RLVR后训练
内存效率
函数空间正则化
持续学习
双轨受控评测:固定环境考智能体、固定动作考世界模型,分离诊断耦合失败
Zhefan Rao, Meng Chu, Xuan Zhang, Jingfan Chen, Guohao Cai, Runyi Li, Shiyi...
世界模型
基准评测
多模态智能体
状态一致性
组件隔离
把每个权重写成树上共享离散决策的乘积,统一模型压缩、加法器电路与离散优化三种视角
Ammar Ali, Stamatis Lefkimmiatis
后训练量化
权重表示
模型压缩
硬件电路
离散优化
用带成功门控多样性目标的RL生成器批量产出多样成功示教,大幅提升下游VLA模仿学习成功率
Minho Park, Kinam Kim, Donghu Kim, Byungkun Lee, Dongyoon Hwang, Yongjae...
Sim-to-Real
VLA
强化学习数据生成
技能多样性
机器人操作
单一流式视频语言模型每秒决定哪路画面上屏并实时解说,直播电竞比赛。
Zixian Gao, Lixin Xiu, Penghao Luo, Xiangcheng Cao, Ziqi Cai, Zhen Li, Erwin...
Dota 2
多视角导播
实时解说
流式视频语言模型
电竞直播
免训练框架在融合表征内诊断跨模态冲突、正交分离证据与先验并自适应再平衡,修正全模态幻觉
Zijian Liu, Chaoyou Fu, Yan Yang, Caifeng Shan, Ran He
免训练推理
全模态大模型
幻觉缓解
注意力头定位
表征编辑
条款锚定的俄语职业伦理基准:多数模型会默默帮你写出违反职业守则的文本
Yegor Anichkov, Valery Vinogradov, Andrey Furov, Marina Polukoshko, Sergey Bolovtsov
LLM评测基准
俄语NLP
数据集构建
模型裁判验证
职业伦理合规
用母题引导的进化树搜索与面向未来的叙事记忆,生成多样且连贯的微短剧剧本。
Siyang He, Qiqi Wang, Fan Liu, Yuncheng Huang, Pengfei Xu, Xi Chen, Ziwei...
LLM评估
创意写作
叙事记忆
多智能体
进化搜索
把黑箱AI检测器改造成由经验证的可解释概念构成、可审计且分布外更稳的分类器
Liam Dugan, Callum McDougall, Matthew Denton, Philip Pham, Christine...
AI生成文本检测
可解释AI
机械可解释性
模型审计
稀疏自编码器
扩散草稿步数与接受宽松度必须联合调节才能铺满速度-质量帕累托前沿
Aaron Zorel, Guy Van den Broeck, Aditya Grover, Daniel Israel
LLM推理加速
帕累托前沿
扩散语言模型
投机解码
有损生成
首个全带宽立体声流匹配音乐源分离框架,系统研究路径、预测目标与混合一致性
Shuyang Cui, Zhi Zhong, Keisuke Toyama, Koichi Saito, Qiyu Wu, Yukara...
MUSDB18-HQ
流匹配
生成模型
音乐源分离
音频评价
任务Teacher对Searcher逐token蒸馏,Leader与Answerer用结果奖励联训。
Yuhan Sun, Jiaxin Zhao, Yongdong Luo, Yibo Hu, Meiguang Jin, Junfeng Ma,...
信用分配
在线策略蒸馏
多智能体系统
强化学习
检索增强
用115小时真实职业录屏测出:前沿模型预测不了专家会采纳、修改还是拒绝AI的贡献。
Shirley Anugrah Hayati, Patricia Anugrah Setiani, Ruizi Wang, Zhouyi Li,...
人机协作
多模态基准
数据集
智能体评估
长时程工作流
开放数据级联蒸馏加专家RL与多教师在线蒸馏,4B模型以更少数据超越8B对手
Juekai Lin, Honglin Lin, Yuqian Yuan, Xiaolong Wu, Jie Cao, Liang Liang,...
后训练
多模态推理
强化学习
数据构造
知识蒸馏
编码器离线压缩物品为单向量、排序器在线个性化打分,共享前缀推理使吞吐达全文教师60倍。
Jiang Wu, Yutong Song, Hongbo Wang, Guanghe Cao, Jeff Lei Liang
大语言模型
推理加速
推荐系统
知识蒸馏
系统优化
作者在环的智能体流水线:找出论文证明漏洞并自动形式化为 Lean 验证版本
Jiyuan Tan, Vasilis Syrgkanis, Jose Blanchet
AI Agent
Lean
人机协作
形式化验证
自动定理证明
LLM 合成证书,按义务路由 SMT 快验、Lean 兜底,严格验证 77.1% 实例
Zhipeng Cao, Peiyang Song, Nikolaus Vertovec, Weiru Cui, Zhihao Yang,...
LLM智能体
Lean定理证明
Lyapunov函数
SMT求解器
动力系统安全
用时间门控赛马回放基准分离LLM智能体的预测质量、修订增益与投注决策价值
Zhongwei Xie, Xingsu Li, Jingqiao Yu, Zihao Wang, Hong ChiTat, Zhaowei Wang,...
LLM智能体
事件预测
基准评测
序贯决策
成本感知评估
可学习的双混合门控框架,融合多种相似度指标以预测时序迁移误差
Yen-Ku Liu, Hongjie Chen, Franck Dernoncourt, Ryan Rossi
基础模型
数据集相似度
时间序列
相关性评估
迁移学习
将TensorFlow Playground改造为KAN教学平台,实时可视化B样条与控制点
Lukas Niehaus, Robin Rawiel, Ulf Krumnack
B样条
Kolmogorov-Arnold Networks
交互式可视化
教学工具
浏览器端训练
区域→文本→区域的循环重构重叠作为免参考可验证奖励,让单一模型同时提升理解与定位
Xin Zhang, Haochen Wang, Beibei Lin, Zhaoxiang Zhang, Robby T. Tan, Jason...
GRPO
可验证奖励
基准评测
多模态大模型
强化学习
解耦物体生成与布局估计,用RPF点云配准实现单图3D场景组装
Ziang Zhang, Wenyou Yi, Zehan Wang, Jiachen Xu, Xintong Han, Chunchao Guo, Zhou Zhao
3D视觉
场景生成
点云配准
生成模型
构建具身视频裁判基准并训练9B裁判模型,与人类评分相关性达0.719居首
Siyuan Ma, Yu Qi, Cheng Ye, Ruotian Peng, Xinyi Xu, Zitiantao Lin, Zedong...
具身智能
多模态大模型裁判
强化学习
视频生成评估
评测基准
用丛同构把单纯形上的不动点丛方法推广到单纯形乘积域,为纳什均衡计算提供全局线性收敛保证
Hongbo Sun
变分不等式
纤维丛
纳什均衡计算
计算博弈论
路径跟踪/内点法
同一作者的两个 AI 辅助科研仓库证明:Git 无法为 AI 使用披露提供可靠证据
Koutian Wu, Zesen Huang, Hejia Geng
AI 披露
实证度量
版本控制
科研诚信
软件溯源
不看参考解释,按论证质量审计裁判理由,准确率与位置鲁棒性双提升
Guiquan Sun, Bing Bai, Martin Renqiang Min, Dongjin Song
DPO
LLM-as-a-Judge
RLHF
偏好优化
奖励模型
让VLA模型预测未来交互意图,按操作阶段动态路由全局与腕部视角。
Huixin Xu, Ziya Yu, Peng Li
CoRL 2026
VLA
动态路由
多视角感知
机器人操作
用轨迹正则化让编辑滑块平滑连续、互不干扰,总分提升18.5%且快3至20倍
Arman Zarei, Sayan Nag, Bryan Wang, Franck Dernoncourt, Varun Manjunatha,...
LoRA适配器
可控生成
图像编辑
基准评测
扩散模型
将停止/失败信号作为动作块附加维度联合去噪,让VLA自省成败并引导纠错动作。
Yufeng Liu, Bohao Fan, Juntu Zhao, Xinyi Wang, Hang Yu, Wenzhuan Luo,...
Flow Matching
VLA
任务状态信号
失败检测与恢复
机器人操作
无需查询-规则标注,用强化学习路由器与对比学习检索器交替协同适应,实现规则约束的结构化知识检索
Zhisheng Qi, Haoyu Han, Jiaxi Li, Bing He, Huiyuan Chen, Franck Dernoncourt,...
双层优化
强化学习
智能体路由
知识图谱
结构化知识检索
复用预训练全身控制器,单GPU训练约7分钟即可学会人形机器人拳击
Xihan Ma, Bo Zhang, Boxiong Li, Yuhan Bao, Ziyue Liu, Yucheng Wang
人形机器人
强化学习
模仿学习
运动控制
将VI解集几何化为纤维丛,用路径跟踪加纤维跳跃实现无假设的全局线性收敛
Hongbo Sun
不动点理论
全局收敛
内点法
变分不等式
纤维丛
两阶段对比对齐,把坐标变成融合S1/S2影像与元数据的高秩多模态位置嵌入
Panagiotis Koromilas, Eleanna Vali, Diogenis Antonopoulos, Eleni Saka,...
位置编码
地理空间基础模型
多模态对比学习
理论分析
自监督学习
JEPA按特征集合的整体预测价值做选择,不可预测但能帮助预测他人的特征也会被保留
Mosh Levy, Aly Lidayan, Yoav Goldberg
JEPA
世界模型
信息论
自监督学习
表征学习
仅凭认证通过/失败的二值反馈,利用决策边界几何即可高效重建受保护模板
Eliron Rahimi, Margarita Osadchy, Orr Dunkelman
二值认证反馈
人脸识别
几何攻击
同态加密
扩散模型先验
图软提示的图词元普遍坍缩为常量,实为通用软提示;本文提出审计协议与两阶段防坍缩训练。
Andrea Giuseppe Di Francesco, Rishabh Jain, Franco Maria Nardini, Nicola...
GraphQA
LLM
因果干预
图神经网络
图软提示
用原创推理小说测评大模型自主找证据能力,发现线索命中与最终判断严重脱节
Bo Zou, Chao Xu
LLM评测基准
叙事误导
推理小说
推理评估
认知警戒
开源三模型数据引擎,低成本量产机器人视频的时间戳标注与奖励标签
Sicong Leng, Yunze Man, Zhiqi Li, Jing Wang, Yuhe Zhang, Ryan Punamiya,...
奖励模型
开源模型
数据引擎
机器人学习
视频时序定位