Sergio Sanchez-Hurtado

収録論文 1本 ・ フィジカルAI/ロボット学習

※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。

論文

• 証明付き進化：ブラックボックス探索とホワイトボックス検証
  制御設計/形式検証2026/10/30

  言語モデルが制御器とその証明書を同時に提案する枠組みを提案し、古典的探索・合成法と比較して、線形問題ではモデルが優位だが古典最適化が追いつくことを示した。