PulseAugur
中
实时 08:28:18
实体 Sergio Sanchez-Hurtado

Sergio Sanchez-Hurtado

PulseAugur coverage of Sergio Sanchez-Hurtado — every cluster mentioning Sergio Sanchez-Hurtado across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_336567 ·

    语言模型助力机器人控制器形式化验证

    研究人员探索了在机器人系统形式化可验证控制器设计中使用语言模型的方法。‘Proof-Carrying Evolution’ (PCE) 方法涉及一个搜索过程，该过程提出控制器及其数学证书，然后检查这些证书以指导选择。虽然语言模型在某些线性问题上表现优于经典基线，但与经典优化器相比或在 SO(3) 姿态控制等更复杂场景中使用时，其有效性有所不同。研究还强调了保留已认证候选者以产生新设计的重要性。