Cover Image

Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wu, Feiyu, Zheng, Xu, Qu, Yue, Wang, Zhuocheng, Feng, Zicheng, Li, Hui
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Toward Maturity-Based Certification of Embodied AI: Quantifying Trustworthiness Through Measurement Mechanisms
by: Darling, Michael C., et al.
Published: (2026)

HELP: Hierarchical Embodied Language Planner for Household Tasks
by: Korchemnyi, Alexandr V., et al.
Published: (2025)

Assessing Trustworthiness of AI Training Dataset using Subjective Logic -- A Use Case on Bias
by: Ouattara, Koffi Ismael, et al.
Published: (2025)

Boosting Embodied AI Agents through Perception-Generation Disaggregation and Asynchronous Pipeline Execution
by: Zhang, Shulai, et al.
Published: (2025)

Embodied-RAG: General Non-parametric Embodied Memory for Retrieval and Generation
by: Xie, Quanting, et al.
Published: (2024)

RHyVE: Competence-Aware Verification and Phase-Aware Deployment for LLM-Generated Reward Hypotheses
by: Wu, Feiyu, et al.
Published: (2026)

Co-Investigator AI: The Rise of Agentic AI for Smarter, Trustworthy AML Compliance Narratives
by: Naik, Prathamesh Vasudeo, et al.
Published: (2025)

COSMO-RL: Towards Trustworthy LMRMs via Joint Safety and Stability
by: Ding, Yizhuo, et al.
Published: (2025)

Learning to Generate Formally Verifiable Step-by-Step Logic Reasoning via Structured Formal Intermediaries
by: Chen, Luoxin, et al.
Published: (2026)

Hybrid Imitation-Learning Motion Planner for Urban Driving
by: Gariboldi, Cristian, et al.
Published: (2024)

Trustworthy AI Must Account for Interactions
by: Cresswell, Jesse C.
Published: (2025)

LGMT: Logic-Grounded Metamorphic Testing for Evaluating the Reasoning Reliability of LLMs
by: Zhou, Zenghui, et al.
Published: (2026)

Embodied-R1: Reinforced Embodied Reasoning for General Robotic Manipulation
by: Yuan, Yifu, et al.
Published: (2025)

MoK-RAG: Mixture of Knowledge Paths Enhanced Retrieval-Augmented Generation for Embodied AI Environments
by: Guo, Zhengsheng, et al.
Published: (2025)

Generative Multi-Agent Collaboration in Embodied AI: A Systematic Review
by: Wu, Di, et al.
Published: (2025)

Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
by: Zhou, Jin Peng, et al.
Published: (2024)

GenPlan: Generative Sequence Models as Adaptive Planners
by: Karthikeyan, Akash, et al.
Published: (2024)

Latent Embedding Adaptation for Human Preference Alignment in Diffusion Planners
by: Ng, Wen Zheng Terence, et al.
Published: (2025)

NH-CROP: Robust Pricing for Governed Language Data Assets under Cost Uncertainty
by: Zheng, Xu, et al.
Published: (2026)

IGN : Implicit Generative Networks
by: Luo, Haozheng, et al.
Published: (2022)

Resisting Stochastic Risks in Diffusion Planners with the Trajectory Aggregation Tree
by: Feng, Lang, et al.
Published: (2024)

Verify Before You Fix: Agentic Execution Grounding for Trustworthy Cross-Language Code Analysis
by: Gajjar, Jugal
Published: (2026)

Verifying Machine Unlearning with Explainable AI
by: Vidal, Àlex Pujol, et al.
Published: (2024)

SCARV: Structure-Constrained Aggregation for Stable Sample Ranking in Redundant NLP Datasets
by: Zheng, Xu, et al.
Published: (2026)

SATQuest: A Verifier for Logical Reasoning Evaluation and Reinforcement Fine-Tuning of LLMs
by: Zhao, Yanxiao, et al.
Published: (2025)

Improving the Generalization of Unseen Crowd Behaviors for Reinforcement Learning based Local Motion Planners
by: Ng, Wen Zheng Terence, et al.
Published: (2024)

SETransformer: A Hybrid Attention-Based Architecture for Robust Human Activity Recognition
by: Liu, Yunbo, et al.
Published: (2025)

CaLM: Contrasting Large and Small Language Models to Verify Grounded Generation
by: Hsu, I-Hung, et al.
Published: (2024)

NavTrust: Benchmarking Trustworthiness for Embodied Navigation
by: Jiang, Huaide, et al.
Published: (2026)

Logic-Guided Multistage Inference for Explainable Multidefendant Judgment Prediction
by: Zhang, Xu, et al.
Published: (2026)

Reinforcement Learning with Verifiable yet Noisy Rewards under Imperfect Verifiers
by: Cai, Xin-Qiang, et al.
Published: (2025)

Reinforced Reasoning for Embodied Planning
by: Wu, Di, et al.
Published: (2025)

Latent Adaptive Planner for Dynamic Manipulation
by: Noh, Donghun, et al.
Published: (2025)

EviDep: Trustworthy Multimodal Depression Estimation via Disentangled Evidential Learning
by: Liu, Fangyuan, et al.
Published: (2026)

Generalizing Trust: Weak-to-Strong Trustworthiness in Language Models
by: Pawelczyk, Martin, et al.
Published: (2024)

Towards Fine-Grained and Verifiable Concept Bottleneck Models
by: Fang, Yingying, et al.
Published: (2026)

Generative AI Models for Different Steps in Architectural Design: A Literature Review
by: Li, Chengyuan, et al.
Published: (2024)

What Makes a Good Diffusion Planner for Decision Making?
by: Lu, Haofei, et al.
Published: (2025)

Towards Efficient LLM Grounding for Embodied Multi-Agent Collaboration
by: Zhang, Yang, et al.
Published: (2024)

GreenPlanner: Practical Floorplan Layout Generation via an Energy-Aware and Function-Feasible Generative Framework
by: Zeng, Pengyu, et al.
Published: (2025)