1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.RO2026
Linear Temporal Logic Translation via Human-Inspired Self-Constrained Reasoning for Robot Task Specification
Haofei Hou, Fanxu Meng, Shunyi Zhao +4
Many robotic tasks are temporally extended and demand precise specifications of subgoals, constraints, and their temporal ordering. Yet human operators typically communicate such t…
cs.AI2026
BioPIE: A Biomedical Protocol Information Extraction Dataset for Experiment Understanding
Haofei Hou, Shunyi Zhao, Fanxu Meng +3
Understanding biomedical experiments provides a foundation for downstream tasks, e.g., laboratory automation, and facilitates effective cross-disciplinary communication. Two challe…
cs.CV2024★ 1 cited
An Illumination-Robust Feature Extractor Augmented by Relightable 3D Reconstruction
Shunyi Zhao, Zehuan Yu, Zuxin Fan +3
Visual features, whose description often relies on the local intensity and gradient direction, have found wide applications in robot navigation and localization in recent years. Ho…