works on
document parsing 1end-to-end OCR 1markdown generation 1reinforcement learning 1synthetic data augmentation 1

From the 1 of 11 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2026

NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks

Licheng Luo, Kaier Liang, Yu Xia +1

While Temporal Logic provides a rigorous verification framework for robotics, it typically operates on trajectory-level signals and does not natively represent the object-centric g…