Yue Dong

University of California, Riverside

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

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

論文

• SCP-NL2TL: 自然言語から時相論理仕様への選択的適合予測と意味検証
  形式仕様変換2026/8/5

  自然言語の指示を形式仕様に変換する際、信頼できない翻訳を拒否する選択的翻訳フレームワークを提案。逆翻訳の忠実度と翻訳の分散を組み合わせたスコアで信頼性を評価し、適合予測で誤受理率を制御する。

• HEAL: An Empirical Study on Hallucinations in Embodied Agents Driven by Large Language Models
  2025/6/1
• LaMMA-P: Generalizable Multi-Agent Long-Horizon Task Allocation and Planning with LM-Driven PDDL Planner
  2024/9/1