Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
神经概念验证器:通过概念编码扩展证明者-验证者博弈
Berkant Turan, Suhrab Asadulla, David Steinmann, Kristian Kersting, Wolfgang Stammer, Sebastian Pokutta
机构
*
Zuse Institute Berlin, Germany
;
AI \& ML Lab, Computer Science Department, TU Darmstadt
;
Hessian Center for AI (hessian.AI)
;
Lab1141
;
German Research Center for AI (DFKI)
;
Institute of Mathematics, Technische Universit\"at Berlin, Germany
;
Max Planck Institute for Informatics, SIC
Comments28 pages, 5 figures, 12 tables, revised references. An earlier version of this work was presented at the ICML 2025 Workshop on Actionable Interpretability
DPO Unchained: Your Training Algorithm is Secretly Disentangled in Human Choice Theory (and its Loss' Convexity is Dispensable)
DPO 解绑:你的训练算法在人类选择理论中实际上是解耦的(且其损失函数的凸性并非必需)
Wenxuan Zhou, Shujian Zhang, Brice Magdalou, John Lambert, Ehsan Amid, Richard Nock, Andrew Hard
机构
*
Google Research(谷歌研究)
;
Google DeepMind(谷歌DeepMind)
;
Work done while at Google DeepMind(在谷歌深Mind的工作)
;
CEE-M, Univ Montpellier, CNRS, INRAE, Institut Agro(CEE-M,蒙彼利埃大学,CNRS,INRAE,农业研究所)
Chain-of-Goals Hierarchical Policy for Long-Horizon Offline Goal-Conditioned RL
Chain-of-Goals 分层策略用于长视界离线目标条件强化学习
Jinwoo Choi, Sang-Hyun Lee, Seung-Woo Seo
机构
*
Department of Electrical and Computer Engineering, Seoul National University, Seoul, South Korea(首尔国立大学电气与计算机工程系)
;
Department of Automotive Engineering, Ajou University, Gyeonggi-do, South Korea(全州大学汽车工程系)
机构
*
Department of Statistics and Data Science(统计与数据科学系)
;
Department of Statistics(统计系)
;
Data Science, Southern University of Science(数据科学,南方科技大学)
;
College of Computing(计算学院)
;
College of Computing and Data Science(计算与数据科学学院)
;
School of Statistics(统计学系)
;
School of Statistics and Data Science(统计与数据科学系)
;
School of Artificial Intelligence, The Chinese University of Hong Kong, Shenzhen(人工智能学院,香港中文大学(深圳))
;
Shenzhen Loop Area Institute(深圳河套学院)
Learning Bug Context for PyTorch-to-JAX Translation with LLMs
学习 PyTorch 到 JAX 翻译中的 Bug 上下文
Hung Phan, Son Vu, Tuan Dinh, Nesreen Ahmed, Ali Payani, Ali Jannesari
机构
*
Department of Computer Science, Iowa State University, Ames, IA, USA(Iowa State大学计算机科学系)
;
Department of Human Science, Iowa State University, Ames, IA, USA(Iowa State大学人类科学系)
;
Cisco AI Research, Outshift, San Jose, CA, USA(Cisco AI研究,Outshift,San Jose,加利福尼亚州,美国)
Model-Free Robust Average-Reward Reinforcement Learning with Sample Complexity Analysis
无模型鲁棒平均奖励强化学习及样本复杂度分析
Zachary Roch, George Atia, Yue Wang
机构
*
Department of Electrical and Computer Engineering, University of Central Florida, Orlando, Florida, USA(电气与计算机工程系,中央佛罗里达大学,奥兰多,佛罗里达州,美国)
;
Department of Computer Science, University of Central Florida, Orlando, Florida, USA(计算机科学系,中央佛罗里达大学,奥兰多,佛罗里达州,美国)
Off-Policy Evaluation for Missingness-Aware Policies in MDPs with Rewards Missing Not at Random
马尔可夫决策过程中奖励非随机缺失的缺失感知策略的离线评估
Ziheng Wei, Annie Qu, Rui Miao
机构
*
Department of Statistics, University of Michigan at Ann Arbor(密歇根大学安娜堡分校统计学系)
;
Department of Statistics(统计学系)
;
Applied Probability, University of California at Santa Barbara(加州大学圣巴巴拉分校应用概率系)
;
Department of Mathematical Sciences, University of Texas at Dallas(德克萨斯大学达拉斯分校数学科学系)
StylisticBias: A Few Human Visual Cues Drive Most Social Biases in MLLMs
StylisticBias: 少数人类视觉线索驱动多模态大语言模型中的大部分社会偏见
Shaghayegh Kolli, Timo Cavelius, Nafiseh Nikeghbal, Samantha Dalal, Jana Diesner
机构
*
Technical University of Munich(慕尼黑工业大学)
;
Munich Center for Machine Learning(慕尼黑机器学习中心)
;
Princeton Center for Information and Technology Policy(普林斯顿信息与技术政策中心)
Residual-Space Evolutionary Optimization via Flow-based Generative Models
基于流生成模型的残差空间进化优化
Zhuo Cao, Lena Krieger, Fernanda Nader, Xuan Zhao, Hanno Scharr, Ira Assent
机构
*
LMU Munich, Munich Center for Machine Learning (MCML), Germany(慕尼黑大学,慕尼黑机器学习中心(MCML),德国)
;
Department of Computer Science, Aarhus University, Denmark(丹麦奥胡斯大学计算机科学系)
FUSE: Frequency-domain Unification and Spectral Energy Alignment for Multi-modal Object Re-Identification
FUSE:面向多模态目标重识别的频域统一与频谱能量对齐
Xuanhao Qi, Tom H. Luan, Yukang Zhang, Jinkai Zheng, Zhou Su, Shuwei Li, Lei Tan
机构
*
School of Cyber Science and Engineering, Xi'an Jiaotong University(西安交通大学网络空间安全学院)
;
School of Informatics, Xiamen University(厦门大学信息学院)
;
National University of Singapore(新加坡国立大学)
Beyond Static Endpoints: Tool Programs as an Interface for Flexible Agentic Web Services
超越静态端点:工具程序作为灵活智能体网络服务的接口
Mugeng Liu, Shuoqi Li, Yixuan Zhang, Yun Ma
机构
*
School of Computer Science, Peking University, Beijing, China
;
School of Software \& Microelectronics, Peking University, Beijing, China
;
Institute for Artificial Intelligence, Peking University, Beijing, China