most citedSeed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.ROShow all

1 paper · 1 filter

cs.RO2025

LISN: Language-Instructed Social Navigation with VLM-based Controller Modulating

Junting Chen, Yunchuan Li, Panfeng Jiang +5

Towards human-robot coexistence, socially aware navigation is significant for mobile robots. Yet existing studies on this area focus mainly on path efficiency and pedestrian collis…