Recurrent Reasoning on Symbolic Puzzles with Sequence Models
基于序列模型的符号谜题循环推理
机构 * Algoverse AI Research ; Cornell University(康奈尔大学)
AI总结 提出 RecurrReason 基准,包含四个递归逻辑谜题,通过控制难度参数 N 评估序列模型,发现架构比规模更重要,预训练仅对局部结构转移函数的谜题有效。
高校专区
基于序列模型的符号谜题循环推理
机构 * Algoverse AI Research ; Cornell University(康奈尔大学)
AI总结 提出 RecurrReason 基准,包含四个递归逻辑谜题,通过控制难度参数 N 评估序列模型,发现架构比规模更重要,预训练仅对局部结构转移函数的谜题有效。
RECTOR:面向情感与认知表征学习的掩码区域-通道-时间建模
机构 * Cornell University(康奈尔大学)
AI总结 提出RECTOR自监督框架,通过自适应功能分区和掩码拓扑学习,统一建模EEG/sEEG的区域-通道-时间动态,在情感识别和任务参与分类上达到新最优,且对缺失通道和跨导联泛化鲁棒。
基于膝关节X光片的隐式神经形状函数的无地标下肢对齐评估
机构 * Division of Informatics, Imaging and Data Sciences, The University of Manchester(曼彻斯特大学信息学、影像与数据科学部) ; Research Unit of Health Sciences and Technology, University of Oulu(奥卢大学健康科学与技术研究部) ; Medical Research Center Oulu, University of Oulu and Oulu University Hospital(奥卢大学与奥卢大学医院医学研究中心) ; Department of Trauma and Orthopaedics, Stockport NHS Foundation Trust, Stepping Hill Hospital(斯泰平希尔医院斯托克波特NHS基金会创伤与骨科) ; School of Health and Society, University of Salford(索尔福德大学健康与社会学院) ; School of Biological Sciences, The University of Manchester(曼彻斯特大学生物科学学院) ; Weill Cornell Medicine, Cornell University(康奈尔大学威尔康奈尔医学院)
AI总结 提出隐式神经形状函数(INSF)方法,无需显式地标,通过编码解剖形状到潜在空间并直接回归临床对齐测量,实现自动化下肢对齐评估,性能与现有方法相当且易于扩展。
Comments Accepted to MICCAI 2026
选择性标签下的算法前沿识别与推断
机构 * Department of Economics, Cornell University(经济系,康奈尔大学)
AI总结 本文针对仅观测到部分个体结果的情况,提出了公平-准确性前沿的识别方法及统计推断工具,包括无限制选择下的锐识别区域、无混淆假设下的点识别与去偏机器学习估计量。
Comments 68 pages, 2 figures
MVEB:大规模视频嵌入基准
机构 * Harvard University(哈佛大学) ; SaluteDevices ; MIRAI ; Zendesk ; Shanghai University of Finance and Economics(上海财经大学) ; Google LLC ; Salesforce ; Cornell University(康奈尔大学) ; Astera Institute(Astera研究院) ; Independent Contributor(独立贡献者) ; Indian Institute of Technology, Kharagpur(印度理工学院,克拉格浦分校) ; Barclays(巴克莱银行) ; Aarhus University(奥胡斯大学) ; Stanford University(斯坦福大学)
AI总结 提出MVEB基准,包含23个任务评估33种视频嵌入模型,发现无单一模型占优,音频贡献取决于标注来源,并集成到MTEB生态。
Pantheon360: 通过3D感知的360°视频扩散驯服数字孪生生成
机构 * University of Southern California(南加州大学) ; National Yang Ming Chiao Tung University(国家阳明交通大学) ; Cornell University(康奈尔大学) ; Bosch Research(博世研究)
AI总结 提出Pantheon360框架,利用显式3D缓存从稀疏360°输入生成高保真视频,实现全局几何一致性和可控相机路径,解决传统透视视频生成器视野受限导致的跨视图不一致和时间漂移问题。
Comments Accepted to CVPR 2026. Project page: https://koi953215.github.io/pantheon360_page/
SAM 3 和 DINOv3 的轻量级蒸馏用于边缘可部署的个体级牲畜监测与纵向视觉分析
机构 * College of Agriculture and Life Sciences, Cornell University(农业与生命科学学院,康奈尔大学)
AI总结 通过蒸馏SAM 3的感知编码器至TinyViT学生网络,并采用DINOv3的ViT-S嵌入器,实现边缘可部署的个体级牲畜监测,在Edinburgh猪数据集上以7.77倍参数减少和3.01倍显存降低达到接近教师模型的性能,支持长期视觉分析。
机器中的人类认知:世界模型的统一视角
机构 * Northeastern University(东北大学) ; EmbodyX Inc.(EmbodyX公司) ; Tulane University(路易斯安那州立大学) ; Cornell University(康奈尔大学) ; University of Georgia(佐治亚大学)
AI总结 提出统一框架整合记忆、感知等认知功能,指出动机和元认知研究不足,并引入认知世界模型新类别。
SkillsBench: 基准测试智能体技能在不同任务中的有效性
机构 * BenchFlow ; OSU ; Amazon ; UC Berkeley ; UC Santa Cruz ; UC Davis ; Dartmouth ; RLWRLD ; Independent ; Princeton University ; Oxford University ; Stanford University ; USC ; CMU ; Foxconn ; Zenity ; UNSW ; UT Austin ; MSU ; Duke University ; ByteDance ; UT Dallas ; UC San Diego ; Columbia University ; University of Rochester ; Cornell Tech ; Georgia Tech ; Cornell University ; NEU ; UCLA ; Snap Inc. ; Fanshawe College ; University of Science and Technology of China ; HKUST(GZ) ; Anyscale
AI总结 提出SkillsBench基准,包含8领域87个任务,通过配对评估证明技能提升平均通过率16.6个百分点,小模型配备技能可匹敌大模型。
GauS:通过高斯重参数化的可微分调度优化
机构 * Cornell University(康奈尔大学) ; University of Maryland, College Park(马里兰大学学院公园分校)
AI总结 提出GauS框架,利用高斯分布对算子调度进行随机松弛,以可微分方式优化调度,捕获时间序数性质并大幅减少参数空间,首次实现流水线调度的可微分化,达到帕累托最优。
模仿有效的方法:基于仿真过滤的人类视频模块化策略学习
机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) ; Allen Institute for AI(Allen人工智能研究所) ; University of Washington(华盛顿大学) ; Cornell University(康奈尔大学)
AI总结 提出Perceive-Simulate-Imitate框架,通过仿真过滤人类视频中的抓取-轨迹对,学习任务导向的抓取与后抓取运动策略,无需机器人数据即可实现鲁棒操作。
Comments Transactions on Machine Learning Research (TMLR)