高校专区

California Institute of Technology（加州理工学院）

2026-02-06 至 2026-02-06 共收录 2 篇

2602.05456 2026-02-06 cs.RO cs.AI cs.SY eess.SY

Ontology-Driven Robotic Specification Synthesis

基于本体的机器人规范综合

Maksym Figat, Ryan M. Mackey, Michel D. Ingham

机构 * Warsaw University of Technology (WUT)（华沙技术大学）； NASA Jet Propulsion Laboratory (JPL)（美国国家航空航天局喷气推进实验室）； California Institute of Technology（加州理工学院）

AI总结本文提出基于本体的RSTM2方法，用于安全关键任务中机器人系统规范综合，通过随机时Petri网实现多层级蒙特卡洛模拟，支持架构权衡与资源分配。

Comments 8 pages, 9 figures, 3 tables, journal

2505.17004 2026-02-06 cs.LG cs.AI cs.NA math.NA stat.ML

Guided Diffusion Sampling on Function Spaces with Applications to PDEs

在函数空间上引导扩散采样及其在偏微分方程中的应用

Jiachen Yao, Abbas Mammadov, Julius Berner, Gavin Kerrigan, Jong Chul Ye, Kamyar Azizzadenesheli, Anima Anandkumar

机构 * California Institute of Technology（加州理工学院）； NVIDIA（英伟达）； University of Oxford（牛津大学）； KAIST（韩国科学技术院）

AI总结本文提出FunDPS框架，通过函数空间扩散模型和引导机制，在极稀疏或噪声数据下有效恢复PDE解，实现32%的准确率提升。

Comments Accepted to NeurIPS 2025