← Search

Zhirui Dai

4 accepted papers

2026

Seeing the Bigger Picture: 3D Latent Mapping for Mobile Manipulation Policy Learning

ICRA 2026poster

In this paper, we demonstrate that mobile manipulation policies utilizing a 3D latent map achieve stronger spatial and temporal reasoning than policies relying solely on images. We introduce Seeing the Bigger Picture (SBP), an end-to-end policy learning approach that operates directly on a 3D map of…

2025

LTLCodeGen: Code Generation of Syntactically Correct Temporal Logic for Robot Task Planning

IROS 2025

This paper focuses on planning robot navigation tasks from natural language specifications. We develop a modular approach, where a large language model (LLM) translates the natural language instructions into a linear temporal logic (LTL) formula with propositions defined by object classes in a seman

Cited by 4SourceScholar
2024

Optimal Scene Graph Planning with Large Language Model Guidance

ICRA 2024poster

Recent advances in metric, semantic, and topological mapping have equipped autonomous robots with concept grounding capabilities to interpret natural language tasks. Leveraging these capabilities, this work develops an efficient task planning algorithm for hierarchical metric-semantic models. We con…

Cited by 26SourceScholar
2021

BEV-Net: Assessing Social Distancing Compliance by Joint People Localization and Geometric Reasoning

ICCV 2021poster

ocial distancing, an essential public health measure to limit the spread of contagious diseases, has gained significant attention since the outbreak of the COVID-19 pandemic. In this work, the problem of visual social distancing compliance assessment in busy public areas, with wide field-of-view cam…

Cited by 9PDFcodeScholar