Ritam Raha

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

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

論文

• MANTRA: ツール使用LLMエージェント向けSMT検証済みコンプライアンスベンチマークの合成
  LLMエージェント2026/5/7

  自然言語の手順書とツールスキーマから、SMTソルバーで検証されたコンプライアンスベンチマークを自動生成するフレームワークMANTRAを提案。

• 最大適応・最小ガイダンス：人間参加型の許容的反応ロボットタスク計画
  人間ロボット協調2025/10/1

  人間が独立した未知のタスクを行う環境で、ロボットが時相論理タスクを満たしつつ、オンラインで適応し必要最小限の協力要請を行う枠組みを提案し、ブロック操作とOvercooked-AIで検証した。