2 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…