Steven Carr

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

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

論文

• 形式手法フィードバックによる言語モデルのファインチューニング
  VLA2023/10/1

  自然言語タスク記述から自動運転などの制御ポリシーを生成するため、形式手法による検証結果を報酬として言語モデルを自動でファインチューニングする手法を提案し、仕様充足率を60%から90%に改善した。

• 自律システムの動的認証
  認証・安全性2022/3/1

  複雑で予測不能な実環境に展開される自律システムに対し、不確実性を考慮した新しい認証手法と数学的ツールの必要性を論じた論文。