Kilian Q. Weinberger
収録論文 2本 ・ フィジカルAI/ロボット学習
ロボット制御/形式手法
※arXiv著者名で収集。同姓同名の別人の論文が含まれる場合があります。
論文
- INPROVF: 大規模言語モデルによる高レベルロボット制御器の仮定違反からの自動修復ロボット制御/形式手法2025/3/1
LLMで修復候補を生成し形式手法で検証する反復ループにより、高レベルロボット制御器の仮定違反を効率的に自動修復するフレームワークを提案。
- LDLS: 3-D Object Segmentation Through Label Diffusion From 2-D Images2019/10/1