LogicEnvGen: Task-Logic Driven Generation of Diverse Simulated Environments for Embodied AI

arXiv:2601.13556 · cs.RO · Submitted 2026-01-20 · Read on arXiv

cs.RO

Submitted: 2026-01-20

Updated: 2026-09-27

Code: https://github.com/Z3Prover/z3

Terminology

• Benchmark — 17× in this paper · explained in 2 episodes
• Embodied AI — 16× in this paper · explained in 2 episodes
• Ablation — 11× in this paper · explained in 1 episode
• Adaptability — 6× in this paper · explained in 1 episode
• Ablation study — 5× in this paper · explained in 1 episode
• Physical Constraints — 5× in this paper · explained in 7 episodes
• Task Decomposition — 5× in this paper · explained in 2 episodes
• Accuracy — 4× in this paper · explained in 1 episode
• Consistency — 4× in this paper · explained in 3 episodes
• Fidelity — 4× in this paper · explained in 2 episodes
• Robustness — 4× in this paper · explained in 5 episodes
• Alignment — 3× in this paper · explained in 1 episode
• Diffusion Model — 3× in this paper · explained in 8 episodes
• Diffusion Models — 3× in this paper · explained in 6 episodes
• Generalization — 3× in this paper · explained in 13 episodes
• Minimal Trajectory Selection Algorithm — 3× in this paper
• Redundancy — 3× in this paper · explained in 2 episodes
• Benchmarking — 2× in this paper · explained in 3 episodes
• Grounding — 2× in this paper · explained in 3 episodes
• Hallucination — 2× in this paper · explained in 3 episodes
• Iterative Refinement — 2× in this paper · explained in 3 episodes
• Large Language Models (LLMs) — 2× in this paper · explained in 6 episodes
• Simulation Time — 2× in this paper
• Verification — 2× in this paper · explained in 2 episodes
• Ablation Studies — 1× in this paper · explained in 1 episode
• Affordance — 1× in this paper · explained in 1 episode
• Chain of Thought — 1× in this paper
• Chain-of-Thought Prompting — 1× in this paper · explained in 2 episodes
• Gaussian Splatting — 1× in this paper · explained in 4 episodes
• Generative Model — 1× in this paper · explained in 2 episodes
• Generative Models — 1× in this paper · explained in 2 episodes
• Jaccard Index — 1× in this paper
• Positional Bias — 1× in this paper · explained in 2 episodes
• Prompt Engineering — 1× in this paper · explained in 4 episodes
• Task Planning — 1× in this paper · explained in 2 episodes
• Unified Framework — 1× in this paper · explained in 5 episodes
• Vision-Language-Action (VLA) Models — 1× in this paper · explained in 2 episodes

Sources

• Intent Factored Generation: Unleashing the Diversity in Your Language Model
• Do As I Can, Not As I Say: Grounding Language in Robotic Affordances
• Behavior Trees in Robotics and AI: An Introduction
• MoK-RAG: Mixture of Knowledge Paths Enhanced Retrieval-Augmented Generation for Embodied AI Environments
• T$^3$Bench: Benchmarking Current Progress in Text-to-3D Generation
• Measuring the Influence of Incorrect Code on Test Generation
• AI2-THOR: An Interactive 3D Environment for Visual AI
• BEHAVIOR-1K: A Human-Centered, Embodied AI Benchmark with 1,000 Everyday Activities and Realistic Simulation
• InternVL3.5: Advancing Open-Source Multimodal Models in Versatility, Reasoning, and Efficiency
• Qwen2.5 Technical Report
• LAYOUTDREAMER: Physics-guided Layout for Text-to-3D Compositional Scene Generation

Related papers

• FMT x: An Efficient and Asymptotically Optimal Extension of the Fast Marching Tree for Dynamic Replanning
• MPCFormer: A physics-informed data-driven approach for explainable socially-aware autonomous driving
• RoboLab: A High-Fidelity Simulation Benchmark for Analysis of Task Generalist Policies
• HRDexDB: A 4D Dexterous Grasping Dataset Across Human and Multiple Robot Embodiments
• APT: Action Expert Pretraining Improves Instruction Generalization of Vision-Language-Action Policies
• Fine-tuning is Not Enough: A Parallel Framework for Collaborative Imitation and Reinforcement Learning in End-to-end Autonomous Driving