University of Maryland, College Park（马里兰大学帕克分校）

ROVER: Regulator-Driven Robust Temporal Verification of Black-Box Robot Policies

ROVER: 基于监管的黑盒机器人策略时间验证

Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu

机构 * University of Maryland, College Park（马里兰大学学院 park） 纠错

AI总结 ROVER通过监管驱动的方法验证黑盒机器人策略的时间安全，提升满意度和合规性。

Curse of Dimensionality in Neural Network Optimization

神经网络优化中的维度灾难

Sanghoon Na, Haizhao Yang

机构 * University of Maryland College Park（马里兰大学College Park分校） 纠错

AI总结 本文研究了神经网络优化中维度灾难的产生机制，通过分析梯度流下的参数分布演变，揭示了函数光滑性对优化效率的影响。

Comments Accepted for publication in Information and Inference: A Journal of the IMA. 32 pages, 1 figure