SchemaBridge 基准:评估 LLM 对关系数据库模式的理解与设计能力
作者提出 SchemaBridge 基准,包含来自三个集合的 902 个模式,按规模与约束复杂度分层,并分别对表、属性、域(数据类型与可空性)、实体和参照完整性计算保真度。
作者提出 SchemaBridge 基准,包含来自三个集合的 902 个模式,按规模与约束复杂度分层,并分别对表、属性、域(数据类型与可空性)、实体和参照完整性计算保真度。
针对 PostgreSQL 仅按关系数量在 DP、GEQO、MCTS 间选择连接顺序求解器的问题,论文提出两个由探针在每查询微秒级从随机连接顺序计算出的特征:尾部间距 α 和交叉意外度 θ。
研究团队提出 Blueprint2CAD 基准,用于判断正交线工程图与另一视角的着色渲染图是否对应同一零件,其数据层 BlueCAD-30K 基于 29,925 个 Zero-to-CAD 模型生成六视角图纸与渲染。
推荐理由:该基准把视角变化与骨干网络的影响分开考察,并给出冻结编码器和零样本 VLM 的具体表现,便于读者判断工程图检索任务的真实难点。
作者提出 CAT-Free,仅用同步 RGB 视频完成多相机行人检测与跟踪,无需相机标定、位置标注和目标场景训练。方法先从视频估计相机位姿与地平面,再跨相机三角化检测并关联成轨迹,并用两个几何过滤器剔除不稳定估计和离地位置,阈值由无标注视频估计。
第 8 届 LSVOS 挑战赛 MUMU 赛道要求单一统一模型在 0.5B 参数、8 GB 峰值推理内存预算内同时完成多概念图像打标、开放词表目标检测和简短图像描述。
研究将退役的 32 GB Jetson AGX Xavier 重组为多语言服务机器人 GEdgeBot,整机提供五项端侧 AI 服务、七语言语音链和三个感知域,AI 与编排留在 Xavier,有限电机脉冲生成交给 STM32F407。
研究团队发布 Fog-FWL 数据集,包含 7,527 帧真实雾天全波形 LiDAR 数据(Fog-FWL-Real,来自 8 个场景、58 个序列,规模是现有唯一真实雾天 FWL 数据的 579 倍)和 12,000 帧物理仿真数据(Fog-FWL-Sim)。
推荐理由:该数据集同时提供真实雾天全波形基准与物理仿真训练集,并支持严格的 sim-to-real 评测,便于读者判断雾天目标恢复任务的难度与数据缺口。
VICTR 提出用 In-Context Value Function Estimator(IC-VFE)根据参考演示视频、语言指令和当前观测估计任务进度,再按进度检索对应阶段的演示片段,供经上下文动作生成后训练的 π_{0.5} 策略使用。
推荐理由:论文用参考演示视频估计任务进度来检索上下文,在未见过的真实操作任务上把成功率从 6.2% 提到 23.8%,并给出代码与数据入口。
ReFineR 是一个离线框架,可将单张图像精细配准到预重建的稠密点云,解决标定后仍存在的数像素重投影误差问题。它基于可微点泼溅光栅化与平滑梯度方向度量(GOM),通过分析-合成优化迭代精化相机位姿。该方法还能在优化前自动估计点云缩放因子,以单一尺度不变公式适配多种场景。
作者提出 Dual Flow,一种联合流模型,同时估计干净图像与对应的无噪声测量,把图像重建和测量去噪建模为耦合估计问题,仅用含噪测量初始化测量状态。
作者发布 Cat Royale Comprehensive Dataset(CRCD),基于 Cat Royale 艺术与研究项目中超过 500 小时的视频,包含 20000 张带实例分割掩码的图像、5000 张多主体姿态坐标图像、800 余段带动作类别的视频片段和 800 余段带详细文本描述的视频片段。
作者提出 NSDL,让小型视觉语言模型只判断场景状态与任务分工并写成计划草图,再由确定性求解器展开为可执行的联合计划,模型在训练中调用检测器与求解器两个工具。
推荐理由:论文把多机器人任务规划拆成视觉判断与确定性求解两部分,并在两个基准上对比端到端方案,还开源了代码与基准。
作者提出 KIR-NO,一个基于分辨率无关神经算子的 3D MRI 重建框架,在低分辨率体数据上完整反向传播训练,推理时零样本用于更高分辨率体数据。其核心是离散-连续卷积构成的 3D 神经算子,配合 k 空间神经算子头与图像空间级联的数据一致性更新。
作者提出机器人操作仿真基准 ManiLadder,包含 112 个任务,按 4 个难度等级分层,每级 8 个类别,覆盖刚体与可变形物体、单臂与双臂、夹爪与灵巧手。为校准难度,每个任务固定相同数据量,用统一的 flow-matching 模仿学习策略在相同训练与评测协议下运行,以成功率作为经验难度信号,并跨随机种子、策略和智能体学习系统验证难度区间。真实实验显示任务难度排序在仿真之外仍保持。
推荐理由:该基准按任务难度分层校准,并跨随机种子、策略和真实实验验证难度排序,可供读者判断机器人操作能力的评测设计。
作者提出 QVS-LIVO RiskMap,将用于状态估计的视觉处理与用于语义建图的视觉处理解耦,前端在共享的 lidar-inertial 后验上通过只读预跟踪评估各相机观测,结合观测健康度与几何互补性,最多选择一个可用视角做直接光度校正。
研究提出物理引导的多模态框架,用 Laplacian 方差、Sobel 统计量和残差噪声方差等 5 个核心物理特征构建结构化文本描述,结合 LoRA 微调的 CLIP ViT-L 14 检测 AI 生成图像,推理时仅需输入图像。
HeadIO 将体坐标系航向分解与双向 Mamba 主干结合,用于头戴设备惯性里程计,仅用设备姿态中的倾斜分量分离重力对齐与水平分量,实现倾斜不变性。在最大基准数据集 Nymeria 上,其 RTE-5s 较采用学习等变层的世界坐标系方法提升 8.1%(0.260 m → 0.239 m),FLOPs 约为后者 1/3、参数量少 8 倍。
研究提出用机械臂关节运动驱动被动腱驱动软体延伸机构,机械臂移动时锚定在上游连杆的腱外段长度变化,从而改变腱张力并使延伸机构变形。团队开发的控制器可在保持末端执行器约束的同时调节软体末端,差分模型将刚性运输与软变形分离,并结合解析臂与腱运动学及局部辨识的跨度-变形映射。仿真与真实实验在自由、位置约束和支点约束的末端运动下实现了末端与形状调节。
作者发布 SyntheIce,一个包含 600 张合成雷达图的标注数据集,覆盖多种复杂度与真实噪声条件,其中 150 张宽幅雷达图被切成四个相邻瓦片,所有样本均带精确真值标注。
作者提出 Elastra 仿真框架,用仅沿垂直方向运动的单元加弹性连接与阻尼来建模床垫、蹦床等弹性表面的形变与回弹,并用独立实现和真实床垫载荷曲线做了验证。
推荐理由:论文给出弹性表面仿真框架,并在 Unitree G1 上用残差策略把 HoST 成功率从 44.1% 提到 72.5%,附代码与视频。
针对具身世界模型(WM)现有指标只评估输出质量(重建清晰度、任务成功率)而无法衡量反事实动作后果建模保真度的问题,该研究提出通过敏感性分析检查模型对动作扰动的强制响应,以此审计 WM 对反事实动作后果的预测能力。作者指出,将 WM 部署到硬件上需要新的评估框架来分析状态误差与敏感性预测准确性之间的权衡。
作者通过 22 组真实-仿真配对任务和系统辨识实验评估 Genie Sim Benchmark,在真实机器人数据上微调的 pi0.5 策略取得仿真与真机得分相关性 0.9686、MAE 0.0405、RMSE 0.0520,仿真与真实差异在 -0.110 到 +0.080 之间。
作者提出生产部署的 VLA 服务系统 XInfer,通过协同调度异构 VLA 计算与机器人执行时变的响应需求,在管理干扰的同时利用计算并行提升 GPU 效率。在三个 VLA 模型和生产来源负载上,XInfer 在物理执行约束下的有效机器人容量(ERC)达到 SOTA 系统的 1.26–3.75 倍,实现已公开。
推荐理由:论文给出生产环境 VLA 服务系统的设计与三模型实测,读者可据此判断机器人集群推理调度的可行路径。
作者提出 EM-ViT,把基础模型输出的相对深度在线适配到机器人运行中采集的观测,以恢复新场景的度量尺度。方法将深度预测分解为稠密视差细化与有效基线标量预测,利用稀疏 LiDAR 点和可选的机器人自运动快速训练轻量 Vision Transformer,并用内部梯度匹配损失实时保留输入的细粒度语义结构。
研究在 DeiT-S、DeiT-B、Swin-T 和 Qwen2.5-0.5B 各七个延迟预算下检验分块蒸馏架构搜索的可加性假设:微调后,可加整数规划在温和预算下最多落后成对交互感知方案 1.6 个 top-1 点,但在激进预算下差距达 17.5 点、困惑度相差 1.9 倍。
论文将 DFS 模型合并形式化为混合二值-连续黑盒优化问题,指出变量类型混合、最多 291 个参数组的高维搜索空间和 Type-I 条件变量依赖三大挑战。
研究在 EONS 框架下为 integrate-and-fire 神经元加入活动依赖的钙电流(Ca-IF),用于 EEG 癫痫检测。在 10 名训练中未见的 CHB-MIT 患者上,逐神经元钙参数将记录级 MCC 从 0.592 提升至 0.726(p = 0.008),误报率从 0.17 降至 0.10;固定或全网共享钙参数无显著收益。
研究将简化群优化(SSO)在冻结记忆下建模为有限马尔可夫链,其坐标核 c_w I + (1 - c_w)Π 具有显式平稳分布与精确收敛速率 c_w^t。精英链的几何命中时间界显示,从非最优起点出发、固定 c_r 时至少需 exp(nc_r/2) 次期望评估才能到达唯一最优解。
日本研究团队把方差收缩解释为模拟训练生成模型缺失有效自由度的诊断信号,并对连续归一化流的生成动力学引入物理启发的潜变量修正,在无需额外训练模拟的情况下恢复了相当一部分缺失的变异性。
研究提出偏差感知的数字孪生校准与控制框架,用SDE模型表示数字孪生,通过拟似然估计与伴随灵敏度分析从稀疏观测中校准。基于SDE生成元的矩展开刻画截断导致的参数偏差,前向-后向伴随量化校准不确定性向值函数与策略性能的传播。配套Actor-Simulator算法联合更新参数、选择信息量实验并优化控制策略,数值实验中校准精度、样本效率与控制性能优于SOTA基线。
BiGym 2.0 将 BiGym 适配到 Unitree G1,用统一全身控制器覆盖 20 项家务任务,每项提供 60 条 VR 人类演示并同步多相机视角与全身执行记录。
推荐理由:BiGym 2.0 在统一全身控制器下对比四类策略,读者可据此了解人形家务操作各方法的强弱分布。
作者发布 TIDE(Turbulent Incompressible DNS Ensembles),一个 256^3 的 3D 不可压缩湍流 DNS 语料与基准,覆盖八个控制轴上的 15 种配置,提供独立集合、压力场和方程级验证。
推荐理由:该基准用独立集合与物理保真指标揭示点误差低不等于小尺度动力学正确,为科学机器学习评测提供可复现的对照。
研究团队提出 STRATA,这是首个面向全球风暴分辨率大气动力学的自回归 AI 模拟器,在 4.9-km 分辨率、约 2500 万网格单元、每 10 分钟采样的 SCREAM 物理模式输出上训练。
推荐理由:论文给出首个全球风暴分辨率的自回归 AI 模拟器,并公开代码、权重与数据,便于读者评估其能耗与分辨率取舍。
作者提出稳健变分神经后验估计(RVNP),用重要性加权自编码器同时学习对模型设定错误稳健的后验代理和刻画模拟与现实差距的显式误差模型。在多个存在设定错误的基准上,RVNP 在多项指标上优于此前方法,并能以数据驱动、可解释的方式恢复稳健后验推断。该工作已被 NeurIPS 2026 接收。
研究者在两个材料科学基准上评估 TabPFN 和 TabICL 作为开箱即用的代理模型,并与高斯过程、随机森林和 CatBoost 等基线对比,发现两种表格基础模型无需针对主动学习做任务特定训练或选择 GP 核函数,就具备很强的竞争力。作者据此认为值得进一步把表格基础模型发展为材料发现主动学习的代理模型,代码已公开,论文被 NeurIPS 2026 的 AI4Mat Workshop 接收。
作者把截断签名反演重新表述为概率问题,即学习给定截断签名下路径的条件分布,并用签名条件流匹配模型作为估计器。针对高斯过程族,作者在线性统计条件下推导出后验采样重构误差的闭式解(log-GBM)与数值可计算公式(drifted fBM、OU),并说明该 oracle 误差上界了截断签名条件下的误差。
作者提出动态-概率一致性(DPC)缺口,指出优化有限时域概率目标可能削弱学到的动力学,或让预测不确定性偏离其应反映的局部切动力学,并归纳出核心坍缩、噪声遮蔽和盲不确定性三种机制。
作者提出 DUNE,把 DNN 神经元分解为更单义的子单元,并按设计精确还原原始激活,从而在保持功能保真度的同时提升单义性。该方法可直接用于预训练模型,无需标签或训练辅助模型;在包括 DINOv2 在内的多个模型上取得 SOTA 或相当的单义性,并推进了单义性与功能保真度之间的 Pareto 前沿,还支持概念级定向干预。
推荐理由:针对稀疏自编码器在单义性与功能保真度之间的权衡,DUNE 用精确重路由做到不损失原激活,读者可据此判断可解释性干预的代价。
作者提出 Augmented Lagrangian Predictive Coding(PC-ALM),在保持预测编码(PC)推理开销的同时,把每层约束误差累积为层内 Lagrange 乘子,使权重更新向 BP 对齐。
推荐理由:论文提出用增广拉格朗日乘子让局部学习逼近 BP 梯度,并在深度 128 的非线性网络上与 BP 性能持平。
作者提出 Blocked Gibbs Diffusion Transformer(BloGDiT),用分块高斯去噪替代标准联合高斯去噪,并通过迭代块重采样和随时间退火的块大小,实现对变量子集的大幅定向修改。在 Sudoku、Graph Coloring、Maximum Independent Set 和 MaxCut 上,BloGDiT 达到或超过现有方法,论文被 NeurIPS 2026 接收。
推荐理由:针对扩散模型求解约束优化时只能处理二元变量、依赖局部推理的局限,给出用 Transformer 做全局块级编辑的替代方案。