Bowen Ye

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

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

論文

• フィードバックが完璧をもたらす：自然言語からSTLへの閉ループ翻訳フレームワーク
  形式仕様生成/LLM2026/9/27

  自然言語の要求をSignal Temporal Logic（STL）に変換する際、生成した式を自然言語に逆翻訳してユーザーが確認・修正する閉ループ型の枠組みを提案し、開ループ翻訳の精度限界を克服できることを示した。

• ReasonSTL: ツール拡張とプロセス報酬学習による自然言語と信号時相論理の橋渡し
  形式手法2026/5/1

  自然言語で表された要件を信号時相論理（STL）式に変換するフレームワークReasonSTLを提案し、ローカルなオープンソース言語モデルを用いて、推論の分解、決定的ツール呼び出し、構造化式構築を行い、プロセス報酬学習で訓練する。

• 知覚と計画の橋渡し：Signal Temporal Logicタスクのためのエンドツーエンド計画
  タスク・モーションプランニング2025/9/1

  多視点カメラ画像とSTL仕様から直接軌道を生成する微分可能な計画フレームワークS-MSPを提案し、工場物流シミュレーションで有効性を示した。