実場面から制約を解いてシミュレーション用の場面を作る
Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
この論文をやさしく読む
ひとことで言うと
実際の場面データと矛盾しないシミュレーション用の場面プログラムを、制約を解いて生成した。
何に役立つ？
考えられる用途は、実データに沿った合成場面を作り、シミュレーション用の学習データを整えること。
この研究の面白いところ
構造の探索と幾何の数値決定を分け、幅優先・深さ優先の双方に専用の枝刈りを加えた点。
どこまで分かった？
実験はnuScenesの20場面で行われた。整合性の保証は評価対象の入力に関するもので、すべての現実の条件を再現したわけではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
合成された学習データの需要は、シミュレーションと現実の差によって妨げられている。既存のデータ駆動型や大規模言語モデルによる生成器は、物理的に不自然な場面を作ることがある。この問題に対し、実世界のデータから構造化された場面プログラムを合成するReal-to-Simの枠組みR2SGENを提案する。一つの大きなSMT（充足可能性判定を拡張した理論）符号化では、組合せ数が爆発して計算が難しくなるため、合成を分離する。離散的なプログラム構造の探索と、連続的な幾何の値の決定を、軽量な個別のSMT制約を使って分ける。 さらに、幅優先探索には共通接頭辞の抽象化による枝刈りを、深さ優先探索には分枝限定を用いて探索を加速する。nuScenesデータセットから複雑さの異なる実場面20件を選んで評価した。実験では、評価対象の入力に対して、元の場面との整合性を保証し、大規模言語モデルを用いる比較手法より大幅に低コストのプログラムを生成した。二種類の探索法には補い合う利点があり、複雑な合成データ生成で高い効率と拡張性を示した。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The demand for synthetic training data is hindered by the sim-to-real gap, as current data-driven and LLM-based generators often produce physically implausible scenarios. To address this, we propose R2SGEN, a Real-to-Sim framework that synthesizes structured scenario programs from real-world data. To overcome the combinatorial explosion and intractability of monolithic Satisfiability Modulo Theories (SMT) encoding, we introduce a decoupled synthesis strategy. This approach separates the discrete structural program search from continuous geometric resolution using lightweight, atomic SMT constraints. Furthermore, we significantly accelerate the search process by integrating two tailored pruning mechanisms: Common Prefix Abstraction-based pruning for Breadth-First Search and Branch-and-Bound for Depth-First Search. We evaluate R2SGEN on 20 real-world scenes of varying complexity from the nuScenes dataset. Experimental results show that our method guarantees consistency with the input scene and produces substantially lower-cost programs than the LLM-based baselines under the evaluated inputs. Both proposed search paradigms exhibit complementary advantages, proving highly efficient and scalable for high-complexity synthetic data generation.
著者のコメント
31 pages, 4 figures, 4 tables. Accepted at OOPSLA 2026, to appear in PACMPL Vol. 10, No. OOPSLA2, Article 395 (DOI: 10.1145/3839527). This is the full version with supplementary material
arXiv ID: 2609.23342 ／ 要約の誤りについて