Kaidi Xu

City University of Hong Kong

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

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

論文

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

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

• Beyond Model Jailbreak: Systematic Dissection of the "Ten DeadlySins" in Embodied Intelligence
  2025/12/1
• Dynamic Adversarial Attacks on Autonomous Driving Systems
  2023/12/1