Oleg Sokolsky

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

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

論文

• SafeVLA-Bench: 視覚言語行動モデルにおける成功と安全性のギャップを評価するベンチマーク
  VLA/安全性評価2026/6/1

  既存のVLAベンチマークの成功判定では見逃される、過度な接触や周囲の物体の妨害などの安全違反を検出するための、事後評価フレームワークを提案した。

• SafeGen-LLM：ロボットシステムのタスク計画における安全性汎化の強化
  タスク計画2026/2/1

  安全制約付きタスク計画のための大規模言語モデルSafeGen-LLMを提案し、PDDL3ベンチマークと二段階の事後学習（SFTとGRPO）で安全性の汎化性能を向上させた。

• Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach
  2023/11/1
• Distributionally Robust Statistical Verification with Imprecise Neural Networks
  2023/8/1
• Self-Driving Vehicle Verification Towards a Benchmark
  2018/6/1